X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-conf.h;h=674577e778a8586d6c41c9ce610b77306dd01095;hb=b0a85a90ec68578d775a8cf5161c8e3ad9d35241;hp=4e7ece0a5a6ce2c1f1c922c5d097ad474ced7367;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;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__