projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d089857)
moving bv before arrays
authorDejan Jovanović <dejan@cs.nyu.edu>
Tue, 26 Mar 2013 20:17:27 +0000 (16:17 -0400)
committerDejan Jovanović <dejan@cs.nyu.edu>
Tue, 26 Mar 2013 20:17:27 +0000 (16:17 -0400)
src/theory/Makefile.am patch | blob | history

diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am
index b30a399e4a921b1b7779f5ad5c3f6739348215e9..b3760b239033559b573837120a1f858c39a3d9ef 100644 (file)
--- a/src/theory/Makefile.am
+++ b/src/theory/Makefile.am
@@ -3,7 +3,7 @@ AM_CPPFLAGS = \
        -I@builddir@/.. -I@srcdir@/../include -I@srcdir@/..
 AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
 
-SUBDIRS = builtin booleans uf arith arrays bv datatypes quantifiers rewriterules
+SUBDIRS = builtin booleans uf arith bv arrays datatypes quantifiers rewriterules
 DIST_SUBDIRS = $(SUBDIRS) example
 
 noinst_LTLIBRARIES = libtheory.la