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

diff --git a/src/numeric.c b/src/numeric.c
index 2b42d2cf..26961289 100644
--- a/src/numeric.c
+++ b/src/numeric.c
@@ -146,6 +146,7 @@ cmd_string (void)
 	  break;
 	default:
 	  assert (0);
+          abort ();
 	}
 
       /* Create each variable. */