projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6704873)
Fix an omission in bv sources.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 11 Jun 2014 20:55:50 +0000 (16:55 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 11 Jun 2014 20:55:50 +0000 (16:55 -0400)
src/Makefile.am patch | blob | history

diff --git a/src/Makefile.am b/src/Makefile.am
index 9531db0cec9552c9865b2c635ed99cf5af87fb75..810e3302a342aa9d69f3511dc2094dc9a1622768 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -216,6 +216,7 @@ libcvc4_la_SOURCES = \
        theory/bv/options_handlers.h \
        theory/bv/bitblast_mode.h \
        theory/bv/bitblast_mode.cpp \
+       theory/bv/bitblast_utils.h \
        theory/idl/idl_model.h \
        theory/idl/idl_model.cpp \
        theory/idl/idl_assertion.h \