X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fafm.c;h=e45ab85df4cd509524d036e416d4b69edea363ee;hb=b8b67a1e1f709640ccdb3422a591b938edb0ceea;hp=fedd93154ddbbbe924eeed4753e5f3a68f4f94f2;hpb=b74d09af5e07f954c18e7cdb8aca3af47fa10208;p=pspp

diff --git a/src/output/afm.c b/src/output/afm.c
index fedd93154d..e45ab85df4 100644
--- a/src/output/afm.c
+++ b/src/output/afm.c
@@ -31,6 +31,7 @@
 #include <setjmp.h>
 #include "error.h"
 #include "minmax.h"
+#include <libpspp/assertion.h>
 #include <libpspp/pool.h>
 #include <libpspp/str.h>
 
@@ -1146,7 +1147,7 @@ afm_encode_string (const struct afm *afm,
           break;
       
         default:
-          abort ();
+          NOT_REACHED ();
         }
       binary_finish (&e);
     }