X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fvariable-info-dialog.c;h=bf770dcbaf30f009e3da1f32599f6617013457d1;hb=e850a37743edb8035b15c4ed313a2b8fdafdc696;hp=e5d8d05bc8aca269f3e6be352d817ac888258910;hpb=b06c888cf2e8c126b04d4678120439533a5086e5;p=pspp

diff --git a/src/ui/gui/variable-info-dialog.c b/src/ui/gui/variable-info-dialog.c
index e5d8d05bc8..bf770dcbaf 100644
--- a/src/ui/gui/variable-info-dialog.c
+++ b/src/ui/gui/variable-info-dialog.c
@@ -17,7 +17,7 @@
     Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
     02110-1301, USA. */
 
-
+#include <config.h>
 #include <gtk/gtk.h>
 #include <glade/glade.h>
 #include <gtksheet/gtksheet.h>