X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fterminal%2Fcommand-line.c;h=8511f290efab920d06d8a4bd33360f1e18723c72;hb=f70f1b22e925d55c246372376de1c6ffaacf8a4b;hp=94c5eea10e3acfc3996a3fede7ddaacd57a29b10;hpb=9f1d9ea8ac4f5e35a773581cf3d5ebd9e219bff8;p=pspp

diff --git a/src/ui/terminal/command-line.c b/src/ui/terminal/command-line.c
index 94c5eea10e..8511f290ef 100644
--- a/src/ui/terminal/command-line.c
+++ b/src/ui/terminal/command-line.c
@@ -26,6 +26,7 @@
 #include <getopt.h>
 #include <stdlib.h>
 #include <libpspp/alloc.h>
+#include <libpspp/assertion.h>
 #include <libpspp/copyleft.h>
 #include <libpspp/message.h>
 #include <language/line-buffer.h>
@@ -180,7 +181,7 @@ parse_command_line (int argc, char **argv)
 	case 0:
 	  break;
 	default:
-	  assert (0);
+	  NOT_REACHED ();
 	}
     }