X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Foutput%2Foutput.c;h=8eccf763f9b9ea3b49f7192c9e4f547ac1161cce;hb=c217e77f75f84c5e31ea0f698014069cd4e78e0c;hp=9527c46f210e5994624964c4f7cdc2cc9318463f;hpb=5de8102af0956488f48ae9bf4941e5867a0f1260;p=pspp
diff --git a/src/output/output.c b/src/output/output.c
index 9527c46f21..8eccf763f9 100644
--- a/src/output/output.c
+++ b/src/output/output.c
@@ -15,19 +15,24 @@
along with this program. If not, see . */
#include
-#include "output.h"
-#include
-#include
-#include
+
#include
-#include
+#include
+#include
+#include
+#include
+#include
+
#include
-#include "htmlP.h"
-#include "intprops.h"
-#include
#include
+#include
#include
+#include