X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fsource-init-opts.c;h=f9ced35c95816625bcc163790d17d10a43791f5a;hb=93ec42221da8b677420bf11435e0d24d0503601b;hp=9627fdf57a5525696f2ba5953b110a0b2f14cf94;hpb=fe8dc2171009e90d2335f159d05f7e6660e24780;p=pspp

diff --git a/src/ui/source-init-opts.c b/src/ui/source-init-opts.c
index 9627fdf57a..f9ced35c95 100644
--- a/src/ui/source-init-opts.c
+++ b/src/ui/source-init-opts.c
@@ -71,10 +71,8 @@ source_init_option_callback (int id, void *aux UNUSED)
       else if (!strcmp (optarg, "enhanced"))
 	settings_set_algorithm (ENHANCED);
       else
-        /* TRANSLATORS: Leave the words `compatible' and `enhanced' in their
-	original English. */
         error (1, 0,
-               _("Algorithm must be either `compatible' or `enhanced'."));
+               _("Algorithm must be either `%s' or `%s'."), "compatible", "enhanced");
       break;
 
     case OPT_INCLUDE:
@@ -98,10 +96,8 @@ source_init_option_callback (int id, void *aux UNUSED)
       else if (!strcmp (optarg, "enhanced"))
 	settings_set_syntax (ENHANCED);
       else
-        /* TRANSLATORS: Leave the words `compatible' and `enhanced' in their
-	original English. */
         error (1, 0,
-               _("Syntax must be either `compatible' or `enhanced'."));
+               _("Syntax must be either `%s' or `%s'."), "compatible", "enhanced");
       break;
 
     default: