X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Frecode.c;h=e415dcf84bbcd89d7a18cb986267322043aadf50;hb=721f67e477ee5050961020ed5afd8e0daf42bf2d;hp=12f682c8684a77627856ab7223a6369916eb8c15;hpb=205ac3afa4c2b19c85819d8695abf3975bb11807;p=pspp

diff --git a/src/recode.c b/src/recode.c
index 12f682c868..e415dcf84b 100644
--- a/src/recode.c
+++ b/src/recode.c
@@ -788,6 +788,7 @@ recode_trns_proc (struct trns_header * t, struct ccase * c,
 	  break;
         default:
           assert (0);
+          abort ();
 	}
       if (!cp)
 	continue;