From d242c3088885a2d02679e34560a8fe8a1d6a86ea Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 14 Mar 2013 17:16:02 -0400
Subject: fix to build system: #include the proper file when they are in both
 builds and src

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

(limited to 'src/proof')

diff --git a/src/proof/Makefile.am b/src/proof/Makefile.am
index 7588f0dc3..75588ceb8 100644
--- a/src/proof/Makefile.am
+++ b/src/proof/Makefile.am
@@ -2,7 +2,7 @@ AM_CPPFLAGS = \
 	-D__BUILDING_CVC4LIB \
 	-D __STDC_LIMIT_MACROS \
 	-D __STDC_FORMAT_MACROS \
-	-I@srcdir@/../include -I@srcdir@/.. -I@builddir@/.. -I@srcdir@/../prop/minisat
+	-I@builddir@/.. -I@srcdir@/../prop/minisat -I@srcdir@/../include -I@srcdir@/..
 AM_CXXFLAGS = -Wall -Wno-parentheses -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libproof.la
-- 
cgit v1.2.3