X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2Fcheck-model.q;h=b1f44ffa6bef06ad0a3e6c927281e6762c6f02c0;hb=c3ac5a8af9c449072c7e872ca70a78c1755ae309;hp=c72a30b2af233d9c8e51f0d1ce8e8e57500a5a68;hpb=c3bd77adba5746aae895e6a354aada4e694c0e3f;p=pspp-builds.git

diff --git a/src/language/tests/check-model.q b/src/language/tests/check-model.q
index c72a30b2..b1f44ffa 100644
--- a/src/language/tests/check-model.q
+++ b/src/language/tests/check-model.q
@@ -15,12 +15,13 @@
    along with this program.  If not, see <http://www.gnu.org/licenses/>. */
 
 #include <config.h>
+#include <limits.h>
 
 #include <language/tests/check-model.h>
 
 #include <errno.h>
 
-#include <libpspp/model-checker.h>
+#include <language/tests/model-checker.h>
 #include <language/lexer/lexer.h>
 
 #include "error.h"