X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foutput.c;h=d590a38e14d2954fd4a66a15acaec6fbb67aea11;hb=c7037a57b661bdf140b2c4bd91124bc5e234b243;hp=349b5d3c3212b386f978d8dd6318dece52c33a07;hpb=d8dd3a226c9b963314bbe6a2ed2cf74714072c77;p=pspp diff --git a/src/output/output.c b/src/output/output.c index 349b5d3c32..d590a38e14 100644 --- a/src/output/output.c +++ b/src/output/output.c @@ -24,7 +24,7 @@ #include #include #include -#include +#include #include "htmlP.h" #include "intprops.h" #include