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/theory/uf/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/uf')

diff --git a/src/theory/uf/Makefile.am b/src/theory/uf/Makefile.am
index 82129c72b..50c508092 100644
--- a/src/theory/uf/Makefile.am
+++ b/src/theory/uf/Makefile.am
@@ -1,6 +1,6 @@
 AM_CPPFLAGS = \
 	-D__BUILDING_CVC4LIB \
-	-I@srcdir@/../../include -I@srcdir@/../.. -I@builddir@/../..
+	-I@builddir@/../.. -I@srcdir@/../../include -I@srcdir@/../..
 AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
 noinst_LTLIBRARIES = libuf.la
-- 
cgit v1.2.3