Patch #6262. New developers guide and resulting fixes and cleanups.

[pspp-builds.git] / src / libpspp / model-checker.c

diff --git a/src/libpspp/model-checker.c b/src/libpspp/model-checker.c
index 1026aa9c9bafd6e1ccfdb1326ead297c64b79803..cb51c485df27ae983104b7540888c1b6492bb16d 100644 (file)
--- 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>