X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fvalue.h;h=97d07b4632ed972e009b94a965ec9900e1eb9b14;hb=a486e7cbf4f95d19bb208796e4c92a040cf48f65;hp=d3754d6c9875147c4adbc34c650f2f7e813afcae;hpb=9f650fc3d2946c216e6cd3c7922a8a63d0f97117;p=pspp

diff --git a/src/data/value.h b/src/data/value.h
index d3754d6c98..97d07b4632 100644
--- a/src/data/value.h
+++ b/src/data/value.h
@@ -22,6 +22,7 @@
 #include <float.h>
 #include <libpspp/misc.h>
 #include "minmax.h"
+#include <config.h>
 
 /* Values. */