Fix build when build and source directories are separate.
authorBen Pfaff <blp@gnu.org>
Sat, 11 Oct 2008 16:40:41 +0000 (09:40 -0700)
committerBen Pfaff <blp@gnu.org>
Sat, 11 Oct 2008 16:40:41 +0000 (09:40 -0700)
src/language/tests/check-model.q

index 2ef5e7bfd293a3eabbe219c0e186600bdbb021ea..b1f44ffa6bef06ad0a3e6c927281e6762c6f02c0 100644 (file)
@@ -21,7 +21,7 @@
 
 #include <errno.h>
 
-#include "model-checker.h"
+#include <language/tests/model-checker.h>
 #include <language/lexer/lexer.h>
 
 #include "error.h"