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

diff --git a/src/language/tests/datasheet-check.c b/src/language/tests/datasheet-check.c
index cb2732bc..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,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>