X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fprompt.c;h=b527807875b897d17c1d2ff662932978cbf2f74e;hb=714ea20439a47287d31820eb71ef77e01a465d86;hp=ede6a5e3b9c8c76d5b5d249113bc2537e3cff82d;hpb=e14e3990ef75795b40ee06a4b59a3e6af2d3aef0;p=pspp

diff --git a/src/language/prompt.c b/src/language/prompt.c
index ede6a5e3b9..b527807875 100644
--- a/src/language/prompt.c
+++ b/src/language/prompt.c
@@ -29,7 +29,6 @@
 #include <language/lexer/lexer.h>
 #include <libpspp/assertion.h>
 #include <libpspp/message.h>
-#include <libpspp/message.h>
 #include <libpspp/str.h>
 #include <libpspp/version.h>
 #include <output/tab.h>