From: Ben Pfaff <blp@gnu.org>
Date: Sat, 11 Oct 2008 16:40:41 +0000 (-0700)
Subject: Fix build when build and source directories are separate.
X-Git-Tag: sav-api~870^2~38
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=81dd94aa39205cf311495cb3239bd4da1503dc2f;p=pspp

Fix build when build and source directories are separate.
---

diff --git a/src/language/tests/check-model.q b/src/language/tests/check-model.q
index 2ef5e7bfd2..b1f44ffa6b 100644
--- a/src/language/tests/check-model.q
+++ b/src/language/tests/check-model.q
@@ -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"