diff options
Diffstat (limited to 'src/base/CMakeLists.txt')
-rw-r--r-- | src/base/CMakeLists.txt | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt index 8df40a6ff..000aa331c 100644 --- a/src/base/CMakeLists.txt +++ b/src/base/CMakeLists.txt @@ -10,13 +10,11 @@ add_custom_target(gen-gitinfo #-----------------------------------------------------------------------------# libcvc4_add_sources( + check.cpp + check.h configuration.cpp configuration.h configuration_private.h - cvc4_assert.cpp - cvc4_assert.h - cvc4_check.cpp - cvc4_check.h exception.cpp exception.h listener.cpp |