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 ccfee80579400e3cd618012114a7551b16d60397..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,13 +29,13 @@
 #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>
 #include <libpspp/tower.h>
 
 #include "minmax.h"
-#include "md4.h"
 #include "xalloc.h"