X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fmanager.c;h=3b60220b3df8d08ed8b31a502f6e8f5add5a34bf;hb=181e8d045ddda092f0fb2b98c13dab68f2e283c5;hp=8fd90a5e26bbcfa774b5534b9a6e7e96ee49c601;hpb=8444d8d47de5e5f8d076b6f43f73c2c29494031e;p=pspp

diff --git a/src/output/manager.c b/src/output/manager.c
index 8fd90a5e26..3b60220b3d 100644
--- a/src/output/manager.c
+++ b/src/output/manager.c
@@ -19,11 +19,9 @@
 
 #include <config.h>
 #include "manager.h"
-#include <libpspp/message.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include "output.h"
-#include <libpspp/debug-print.h>
 
 /* Table. */
 int table_num = 1;