diff options
author | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-03-26 16:17:27 -0400 |
---|---|---|
committer | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-03-26 16:17:27 -0400 |
commit | 62d4a3a3d9c00a46269aa05649670dce3938a935 (patch) | |
tree | e31af2e8df19f5b7683d28534bc8eb02c979581f /src | |
parent | d08985731908d798ec5dbf8c4b1529266798a68e (diff) |
moving bv before arrays
Diffstat (limited to 'src')
-rw-r--r-- | src/theory/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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 |