From 8730e9320a833a9eb0e65074f9988950b7424c0c Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Tue, 30 Mar 2010 20:22:33 +0000
Subject: Merging from branches/antlr3 (r246:354)

---
 src/main/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/Makefile.am')

diff --git a/src/main/Makefile.am b/src/main/Makefile.am
index 79eb8c74e..e73b38f1d 100644
--- a/src/main/Makefile.am
+++ b/src/main/Makefile.am
@@ -1,5 +1,5 @@
 AM_CPPFLAGS = \
-	-I@srcdir@/../include -I@srcdir@/..
+	-I@srcdir@/../include -I@srcdir@/.. $(ANTLR_INCLUDES)
 AM_CXXFLAGS = -Wall
 
 bin_PROGRAMS = cvc4
-- 
cgit v1.2.3