X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fpage-intro.c;h=6db2bee688ffe6fe2b73461a2682ef8e674ae991;hb=7841b7dc7a33947552866d1cb10916d0eecdeeb6;hp=a7cda1b2208c7043a1d089c8b0cfc1152adfd5dd;hpb=96002e4309464b3d5f7f6aacbc856eefb1e7431c;p=pspp

diff --git a/src/ui/gui/page-intro.c b/src/ui/gui/page-intro.c
index a7cda1b220..6db2bee688 100644
--- a/src/ui/gui/page-intro.c
+++ b/src/ui/gui/page-intro.c
@@ -186,11 +186,11 @@ void
 intro_append_syntax (const struct intro_page *p, struct string *s)
 {
   if (gtk_toggle_button_get_active (GTK_TOGGLE_BUTTON (p->n_cases_button)))
-    ds_put_format (s, "  /IMPORTCASES=FIRST %d\n",
+    ds_put_format (s, "  /IMPORTCASE=FIRST %d\n",
 		   gtk_spin_button_get_value_as_int (GTK_SPIN_BUTTON (p->n_cases_spin)));
   else if (gtk_toggle_button_get_active (GTK_TOGGLE_BUTTON (p->percent_button)))
-    ds_put_format (s, "  /IMPORTCASES=PERCENT %d\n",
+    ds_put_format (s, "  /IMPORTCASE=PERCENT %d\n",
 		   gtk_spin_button_get_value_as_int (GTK_SPIN_BUTTON (p->percent_spin)));
   else
-    ds_put_cstr (s, "  /IMPORTCASES=ALL\n");
+    ds_put_cstr (s, "  /IMPORTCASE=ALL\n");
 }