X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fval.h;h=927bd916c8df25995cb18c2267b5dee235c0a0bf;hb=25f3bb47d1dab6a32c0ba30db8583413dd17d93b;hp=07b4d7944afce02f210ab47430dacb52358bbea5;hpb=3417680e253b1bfc4519347ef06536378026be2a;p=pspp

diff --git a/src/val.h b/src/val.h
index 07b4d7944a..927bd916c8 100644
--- a/src/val.h
+++ b/src/val.h
@@ -21,7 +21,8 @@
 #define val_h 1
 
 #include <float.h>
-#include "magic.h"
+
+#include <config.h>
 
 /* Values. */