X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flanguage%2Ftests%2Fcheck-model.q;h=b1f44ffa6bef06ad0a3e6c927281e6762c6f02c0;hb=1307953ce052c1d8f3e2ec72ef6e1232aabdf5f5;hp=a2654717888d5232f679eacb57190b2284587b50;hpb=bf6be2aa2a406ee96e4b402734e191b3dbbf956e;p=pspp

diff --git a/src/language/tests/check-model.q b/src/language/tests/check-model.q
index a265471788..b1f44ffa6b 100644
--- a/src/language/tests/check-model.q
+++ b/src/language/tests/check-model.q
@@ -21,7 +21,7 @@
 
 #include <errno.h>
 
-#include <libpspp/model-checker.h>
+#include <language/tests/model-checker.h>
 #include <language/lexer/lexer.h>
 
 #include "error.h"