X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fhtml.c;h=50561df7c4cc33ea289b55ed1def861cd669f694;hb=2322678e8fddbbf158b01b2720db2636404bba3b;hp=901c98a2a09b4ac61cd4b06bab2cb7ae604de056;hpb=2048ef1bcb81fa766ccff3bb1cf30a886316983c;p=pspp-builds.git

diff --git a/src/output/html.c b/src/output/html.c
index 901c98a2..50561df7 100644
--- a/src/output/html.c
+++ b/src/output/html.c
@@ -34,6 +34,7 @@
 #endif
 
 #include "alloc.h"
+#include "compiler.h"
 #include "message.h"
 #include "filename.h"
 #include "getline.h"