X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fmanager.c;h=ff65e0845385b852e8cbe5b68b7a3421e56eac37;hb=77e551d23575da6b89f866612ab39c2b0497c9be;hp=8fd90a5e26bbcfa774b5534b9a6e7e96ee49c601;hpb=416f7c47be6ede7e6aaf6194e00ba9432097dfd3;p=pspp-builds.git

diff --git a/src/output/manager.c b/src/output/manager.c
index 8fd90a5e..ff65e084 100644
--- a/src/output/manager.c
+++ b/src/output/manager.c
@@ -23,7 +23,6 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include "output.h"
-#include <libpspp/debug-print.h>
 
 /* Table. */
 int table_num = 1;