From 81dd94aa39205cf311495cb3239bd4da1503dc2f Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@gnu.org>
Date: Sat, 11 Oct 2008 09:40:41 -0700
Subject: [PATCH] Fix build when build and source directories are separate.

---
 src/language/tests/check-model.q | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/language/tests/check-model.q b/src/language/tests/check-model.q
index 2ef5e7bf..b1f44ffa 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"
-- 
2.30.2