X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Futilities%2Fpermissions.c;h=a52cd198aa2c8aa15d8698806f677124d38c696e;hb=1fce5ac3073c36061e61a3956a8e96516a4a5723;hp=2ea91de1dcbac0ed27ce267fade61e32b8b6c983;hpb=da1bf03a84fa10f04e8c5438f22b523f0480dd7d;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;
     }