X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fval.h;h=927bd916c8df25995cb18c2267b5dee235c0a0bf;hb=88df4d36b881e6a7aa08612737f72c2abd63bcb4;hp=188187f284c3b024d648c98e7ddd51a32595cc09;hpb=6ac27d1da3fdebee275343fcf7b6625fc1f1da79;p=pspp

diff --git a/src/val.h b/src/val.h
index 188187f284..927bd916c8 100644
--- a/src/val.h
+++ b/src/val.h
@@ -22,6 +22,8 @@
 
 #include <float.h>
 
+#include <config.h>
+
 /* Values. */
 
 /* Max length of a short string value, generally 8 chars. */