X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Futilities%2Fpermissions.c;fp=src%2Flanguage%2Futilities%2Fpermissions.c;h=a52cd198aa2c8aa15d8698806f677124d38c696e;hb=eb06da6a334bc37108cdce9bfc7f26cfcb2003ee;hp=2ea91de1dcbac0ed27ce267fade61e32b8b6c983;hpb=bb4738b6612729d1d3f83009e88505ffc8c46e2d;p=pspp

diff --git a/src/language/utilities/permissions.c b/src/language/utilities/permissions.c
index 2ea91de1dc..a52cd198aa 100644
--- a/src/language/utilities/permissions.c
+++ b/src/language/utilities/permissions.c
@@ -102,7 +102,7 @@ change_permissions (const char *file_name, enum PER per)
 
   if (settings_get_safer_mode ())
     {
-      msg (SE, _("This command not allowed when the SAFER option is set."));
+      msg (SE, _("This command not allowed when the %s option is set."), "SAFER");
       return 0;
     }