X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fval.h;h=fe35aad9aeb74f5f799b8004ff395264eac97340;hb=3e66793381d0eaee26bd980c9a5479129fa44386;hp=3b42a83bb79476b9749fa4a637962b95e2372052;hpb=ccf2f45c091ce1555b4e2a36186c501675c18a59;p=pspp-builds.git

diff --git a/src/val.h b/src/val.h
index 3b42a83b..fe35aad9 100644
--- a/src/val.h
+++ b/src/val.h
@@ -20,6 +20,7 @@
 #if !val_h
 #define val_h 1
 
+#include <float.h>
 
 /* Values. */