X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2Fdatasheet-check.c;h=53b62c3100cf610825d251dadf5a5cc458255da2;hb=3db80dc65b18355b719e8d56032400c753aa4eb7;hp=ccfee80579400e3cd618012114a7551b16d60397;hpb=cc57a28ef6796ae9a64ef80d453f72126956d49d;p=pspp-builds.git

diff --git a/src/language/tests/datasheet-check.c b/src/language/tests/datasheet-check.c
index ccfee805..53b62c31 100644
--- 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"