From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 11 Jun 2014 20:55:50 +0000 (-0400)
Subject: Fix an omission in bv sources.
X-Git-Tag: cvc5-1.0.0~6834
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d9c2c9a4c7fb1c213f420715dc546293418b4479;p=cvc5.git

Fix an omission in bv sources.
---

diff --git a/src/Makefile.am b/src/Makefile.am
index 9531db0ce..810e3302a 100644
--- 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 \