From: Dejan Jovanović <dejan@cs.nyu.edu>
Date: Tue, 26 Mar 2013 20:17:27 +0000 (-0400)
Subject: moving bv before arrays
X-Git-Tag: cvc5-1.0.0~7368
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=62d4a3a3d9c00a46269aa05649670dce3938a935;p=cvc5.git

moving bv before arrays
---

diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am
index b30a399e4..b3760b239 100644
--- 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