X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-reader.c;h=e0f219826dfc4820f55e519dbc9c3c8c4d737929;hb=65c76af5768d836d91b79d87702f9b4e004c18aa;hp=c7a9a311c2494adcecedf316474d910c404f2948;hpb=ed109bf498216cef15a3cbf180827dc8b20eff0b;p=pspp

diff --git a/src/ui/terminal/terminal-reader.c b/src/ui/terminal/terminal-reader.c
index c7a9a311c2..e0f219826d 100644
--- a/src/ui/terminal/terminal-reader.c
+++ b/src/ui/terminal/terminal-reader.c
@@ -229,6 +229,9 @@ readline_prompt (enum prompt_style style)
 
     case PROMPT_DO_REPEAT:
       return "DO REPEAT> ";
+
+    case PROMPT_DEFINE:
+      return "DEFINE> ";
     }
 
   NOT_REACHED ();