From: John Darrington <john@darrington.wattle.id.au>
Date: Wed, 26 Oct 2005 08:47:54 +0000 (+0000)
Subject: Added "#include <config.h>"
X-Git-Tag: sav-api~2178
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b055ba6d11328c3bffa6fa45c63d99cd73c9ac58;p=pspp

Added "#include <config.h>"
---

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. */