X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=1d7264f83985674073a5210e82e43c88e5cd9f30;hb=97a777315ec2f2000ac67da1f405323a5e2294e2;hp=bab489a5aad88b13072822e4b113df887b8094a4;hpb=83ad8f5b760cb46bd1d86f60a40d6aace21118ef;p=pspp-builds.git

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index bab489a5..1d7264f8 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -14,6 +14,7 @@
    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>. */
 
+#include <config.h>
 #include <gtk/gtk.h>
 #include "psppire.h"
 #include "progname.h"