X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fnumeric.c;h=26961289d5afd7eebd278b591823613afea63a75;hb=721f67e477ee5050961020ed5afd8e0daf42bf2d;hp=8031d65d2070954aad0cad8b538c9cd1f94727fe;hpb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;p=pspp

diff --git a/src/numeric.c b/src/numeric.c
index 8031d65d20..26961289d5 100644
--- a/src/numeric.c
+++ b/src/numeric.c
@@ -18,7 +18,7 @@
    02111-1307, USA. */
 
 #include <config.h>
-#include <assert.h>
+#include "error.h"
 #include <stdlib.h>
 #include "command.h"
 #include "error.h"
@@ -146,6 +146,7 @@ cmd_string (void)
 	  break;
 	default:
 	  assert (0);
+          abort ();
 	}
 
       /* Create each variable. */