X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmodel-checker.c;h=cb51c485df27ae983104b7540888c1b6492bb16d;hb=6e22b03f96f0edbace5bce45abdc57e94cf6957c;hp=1026aa9c9bafd6e1ccfdb1326ead297c64b79803;hpb=43b1296aafe7582e7dbe6c2b6a8b478d7d9b0fcf;p=pspp

diff --git a/src/libpspp/model-checker.c b/src/libpspp/model-checker.c
index 1026aa9c9b..cb51c485df 100644
--- a/src/libpspp/model-checker.c
+++ b/src/libpspp/model-checker.c
@@ -26,6 +26,7 @@
 #include <string.h>
 #include <sys/time.h>
 
+#include <data/val-type.h>
 #include <libpspp/bit-vector.h>
 #include <libpspp/compiler.h>
 #include <libpspp/deque.h>