X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-conf.h;h=674577e778a8586d6c41c9ce610b77306dd01095;hb=380110cc2fc8ee8511c2c4a1b3ee1da8a70cdb18;hp=4e7ece0a5a6ce2c1f1c922c5d097ad474ced7367;hpb=61e32cd84c226f5e5c20f407da139dbb7cf5170b;p=pspp diff --git a/src/ui/gui/psppire-conf.h b/src/ui/gui/psppire-conf.h index 4e7ece0a5a..674577e778 100644 --- a/src/ui/gui/psppire-conf.h +++ b/src/ui/gui/psppire-conf.h @@ -18,7 +18,7 @@ #include #include -#include +#include #ifndef __PSPPIRE_CONF_H__ #define __PSPPIRE_CONF_H__