model-checker: Kill dependencies and move back to libpspp.

[pspp-builds.git] / src / language / tests / datasheet-check.c

diff --git a/src/language/tests/datasheet-check.c b/src/language/tests/datasheet-check.c
index cb2732bc632a8a95831ca806fc6b726e1b32a60e..53b62c3100cf610825d251dadf5a5cc458255da2 100644 (file)
--- a/src/language/tests/datasheet-check.c
+++ b/src/language/tests/datasheet-check.c
@@ -18,7 +18,6 @@
 
 #include <data/datasheet.h>
 #include "datasheet-check.h"
-#include "model-checker.h"
 
 #include <stdlib.h>
 #include <string.h>
@@ -30,6 +29,7 @@
 #include <data/sparse-cases.h>
 #include <libpspp/array.h>
 #include <libpspp/assertion.h>
+#include <libpspp/model-checker.h>
 #include <libpspp/range-map.h>
 #include <libpspp/range-set.h>
 #include <libpspp/taint.h>