Apply patch #5225, assertions.
[pspp-builds.git] / src / data / sys-file-reader.c
index 52a14a45d2e26021d05f9ba32bb20cda5b2f7445..072fca3b0964be65209abcd44cf6acc89cc8d809 100644 (file)
@@ -26,6 +26,7 @@
 #include <minmax.h>
 
 #include <libpspp/alloc.h>
+#include <libpspp/assertion.h>
 #include <libpspp/message.h>
 #include <libpspp/compiler.h>
 #include <libpspp/magic.h>
@@ -1619,7 +1620,7 @@ read_compressed_data (struct sfm_reader *r, flt64 *buf)
       p = r->x;
     }
 
-  abort ();
+  NOT_REACHED ();
 
  success:
   /* We have filled up an entire record.  Update state and return