X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata-out.c;h=e8d0fa3b45e3c4fd298de0bf3c07739170b74173;hb=f9ce8d75ae81553d9aec05351cb2d12d0df33e5e;hp=1206dd9951d14addec9590ec1f5d7fdb77daf114;hpb=def7e6026513a3ee7c2b38416b30a2e890e34311;p=pspp

diff --git a/src/data-out.c b/src/data-out.c
index 1206dd9951..e8d0fa3b45 100644
--- a/src/data-out.c
+++ b/src/data-out.c
@@ -18,7 +18,7 @@
    02111-1307, USA. */
 
 #include <config.h>
-#include <assert.h>
+#include "error.h"
 #include <ctype.h>
 #include <math.h>
 #include <float.h>
@@ -103,9 +103,11 @@ data_out (char *s, const struct fmt_spec *fp, const union value *v)
 
         case FMT_A:
           assert (0);
+          abort ();
 
         case FMT_AHEX:
           assert (0);
+          abort ();
 
         case FMT_IB:
           ok = convert_IB (s, fp, number);
@@ -159,6 +161,7 @@ data_out (char *s, const struct fmt_spec *fp, const union value *v)
 
         default:
           assert (0);
+          abort ();
         }
     }
   else 
@@ -178,6 +181,7 @@ data_out (char *s, const struct fmt_spec *fp, const union value *v)
 
         default:
           assert (0);
+          abort ();
         }
     }