X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foutput.h;h=fc66874068da031cafef1743406131c486ee504d;hb=9da91f0b58bb3518f2642af932c3a45b63863274;hp=2585aa8cbf346783d02557d596db5757e8d4339a;hpb=873165af1d9ae450483816b892aa17afd669a7c0;p=pspp

diff --git a/src/output/output.h b/src/output/output.h
index 2585aa8cbf..fc66874068 100644
--- a/src/output/output.h
+++ b/src/output/output.h
@@ -17,8 +17,6 @@
 #ifndef OUTPUT_OUTPUT_H
 #define OUTPUT_OUTPUT_H 1
 
-#include <config.h>
-
 #include <libpspp/str.h>