X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fline-buffer.c;h=146ca00a92847e93d5179a85a8180fa53f1946c2;hb=92f198d13c9214c0d75b936f0ea0dc2684ea914b;hp=f0e69720ed803134c58f9c7530cafdd4fa3c0ac0;hpb=618a58ebb4c59dff83374278e44b7375b3865935;p=pspp

diff --git a/src/language/line-buffer.c b/src/language/line-buffer.c
index f0e69720ed..146ca00a92 100644
--- a/src/language/line-buffer.c
+++ b/src/language/line-buffer.c
@@ -31,6 +31,7 @@
 #include <language/command.h>
 #include <language/lexer/lexer.h>
 #include <libpspp/alloc.h>
+#include <libpspp/assertion.h>
 #include <libpspp/message.h>
 #include <libpspp/message.h>
 #include <libpspp/str.h>
@@ -493,7 +494,7 @@ read_line_from_source (struct string *line, struct getl_source *s)
       return s->u.interactive (line, get_prompt_style ());
     }
 
-  abort ();
+  NOT_REACHED ();
 }
 
 /* Reads a single line into LINE.