X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmatrix-data.c;h=6f3d58ade7a6d1c06988c848cb9263b890ccb1bd;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=5835e8229286d7072039ec9935cc2a8b0bcbcf32;hpb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;p=pspp

diff --git a/src/matrix-data.c b/src/matrix-data.c
index 5835e82292..6f3d58ade7 100644
--- a/src/matrix-data.c
+++ b/src/matrix-data.c
@@ -18,7 +18,7 @@
    02111-1307, USA. */
 
 #include <config.h>
-#include <assert.h>
+#include "error.h"
 #include <stdlib.h>
 #include <ctype.h>
 #include <float.h>
@@ -1152,6 +1152,7 @@ nr_read_data_lines (struct nr_aux_data *nr,
 	      break;
 	    default:
 	      assert (0);
+              abort ();
 	    }
 	  break;
 	case 2:
@@ -1159,6 +1160,7 @@ nr_read_data_lines (struct nr_aux_data *nr,
 	  break;
 	default:
 	  assert (0);
+          abort ();
 	}
 
       {
@@ -2006,10 +2008,12 @@ wr_read_indeps (struct wr_aux_data *wr)
 	  break;
 	default:
 	  assert (0);
+          abort ();
 	}
       break;
     default:
       assert (0);
+      abort ();
     }
   c->n_rows[wr->content]++;