From 87d0701f6f3ebcf0735b20d72bd13624d4fb8957 Mon Sep 17 00:00:00 2001 From: Brian Wood Date: Tue, 21 May 2019 10:53:33 -0400 Subject: [PATCH] missing space in FDP_PRT_EXT.3.1 added space after selection --- input/fileencryption.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/input/fileencryption.xml b/input/fileencryption.xml index 13992f9..1546ed7 100644 --- a/input/fileencryption.xml +++ b/input/fileencryption.xml @@ -1878,7 +1878,7 @@ The following sections describe any modifications that the ST author must make t all applications subset of applications that can integrate with the FE - when decrypting/encrypting the + when decrypting/encrypting the user-selected file (or set of files) are removed or encrypted upon completion of the decryption/encryption operation.