diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-11 16:55:50 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-11 16:55:50 -0400 |
| commit | d9c2c9a4c7fb1c213f420715dc546293418b4479 (patch) | |
| tree | 95932ef2c99624609e12640abe4232a473ee07e9 /src/Makefile.am | |
| parent | 6704873b5229e709f15fc0b7b64444fa9fb552f3 (diff) | |
Fix an omission in bv sources.
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
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 \ |