X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fmanager.c;h=3b60220b3df8d08ed8b31a502f6e8f5add5a34bf;hb=7102dc8607b7e6e25bdb9806f508dce71fe76ce4;hp=ff65e0845385b852e8cbe5b68b7a3421e56eac37;hpb=77e551d23575da6b89f866612ab39c2b0497c9be;p=pspp

diff --git a/src/output/manager.c b/src/output/manager.c
index ff65e08453..3b60220b3d 100644
--- a/src/output/manager.c
+++ b/src/output/manager.c
@@ -19,7 +19,6 @@
 
 #include <config.h>
 #include "manager.h"
-#include <libpspp/message.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include "output.h"