X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Frecode.c;h=e415dcf84bbcd89d7a18cb986267322043aadf50;hb=bf6d99567a762b20bee4bb71147b6387c986bb90;hp=e2df650f26ecc25fd59312970f4aa0a03ef7a337;hpb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;p=pspp-builds.git

diff --git a/src/recode.c b/src/recode.c
index e2df650f..e415dcf8 100644
--- a/src/recode.c
+++ b/src/recode.c
@@ -18,7 +18,7 @@
    02111-1307, USA. */
 
 #include <config.h>
-#include <assert.h>
+#include "error.h"
 #include <ctype.h>
 #include <math.h>
 #include <stdlib.h>
@@ -788,6 +788,7 @@ recode_trns_proc (struct trns_header * t, struct ccase * c,
 	  break;
         default:
           assert (0);
+          abort ();
 	}
       if (!cp)
 	continue;