X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fval.h;h=57aaa2af746c02095557a2b4ddc2ffb6a18c9ed5;hb=45b8514ebb8a7b10eb5d911a231a9fc7974f8ba9;hp=96523de28bf5abdab08ddaf9bbdecdc9c0269ed4;hpb=4fdeb2145d081ff1b84e3f6c99f9d1c048c0d64a;p=pspp

diff --git a/src/val.h b/src/val.h
index 96523de28b..57aaa2af74 100644
--- a/src/val.h
+++ b/src/val.h
@@ -21,7 +21,7 @@
 #define val_h 1
 
 #include <float.h>
-#include "config.h"
+#include "magic.h"
 
 /* Values. */