From e1dc39321cd4ab29b436025badfb05714f5649b3 Mon Sep 17 00:00:00 2001 From: makaimann Date: Mon, 10 Dec 2018 08:37:11 -0800 Subject: BoolToBV modes (off, ite, all) (#2530) --- src/options/CMakeLists.txt | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/options/CMakeLists.txt') diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt index c711567ab..b86db8d00 100644 --- a/src/options/CMakeLists.txt +++ b/src/options/CMakeLists.txt @@ -9,6 +9,8 @@ libcvc4_add_sources( arith_unate_lemma_mode.cpp arith_unate_lemma_mode.h base_handlers.h + bool_to_bv_mode.cpp + bool_to_bv_mode.h bv_bitblast_mode.cpp bv_bitblast_mode.h datatypes_modes.h -- cgit v1.2.3