X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fget.c;h=aa3a4e4929bc0324685442c5f9408d6357471cd8;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=e2b4977e64c0f25fb6f31ab17a523528d1c46181;hpb=564f1eac7ce351b863dba65b75d71fdf3c92b73e;p=pspp-builds.git

diff --git a/src/get.c b/src/get.c
index e2b4977e..aa3a4e49 100644
--- a/src/get.c
+++ b/src/get.c
@@ -738,8 +738,11 @@ cmd_match_files (void)
 	      name = mtf.tail->last;
 	      sbc = "LAST";
 	    }
-	  else
-	    assert (0);
+	  else 
+            {
+              assert (0);
+              abort ();
+            }
 
 	  lex_match ('=');
 	  if (token != T_ID)