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=02c64395051af942e9aeff20de6685c706ef1023;hp=cf5b660c939d0b91a054f1a08e61bb93da76e65a;hpb=26790c082083ccc1ea32d6d76741d86f51874acb;p=pspp-builds.git

diff --git a/src/ui/terminal/command-line.c b/src/ui/terminal/command-line.c
index cf5b660c..8511f290 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>
@@ -33,9 +34,10 @@
 #include <data/settings.h>
 #include "read-line.h"
 #include <output/output.h>
-#include <data/filename.h>
+#include <data/file-name.h>
 #include <libpspp/str.h>
 #include <libpspp/version.h>
+#include <libpspp/verbose-msg.h>
 
 #include "gettext.h"
 #define _(msgid) gettext (msgid)
@@ -163,7 +165,7 @@ parse_command_line (int argc, char **argv)
 	  set_safer_mode ();
 	  break;
 	case 'v':
-	  err_verbosity++;
+	  verbose_increment_level ();
 	  break;
 	case 'V':
 	  puts (version);
@@ -179,7 +181,7 @@ parse_command_line (int argc, char **argv)
 	case 0:
 	  break;
 	default:
-	  assert (0);
+	  NOT_REACHED ();
 	}
     }