diff options
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 5cddccc58..9c95163bc 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -367,13 +367,13 @@ libcvc4_add_sources( theory/booleans/theory_bool_rewriter.h theory/booleans/theory_bool_type_rules.h theory/booleans/type_enumerator.h + theory/builtin/proof_checker.cpp + theory/builtin/proof_checker.h theory/builtin/theory_builtin.cpp theory/builtin/theory_builtin.h theory/builtin/theory_builtin_rewriter.cpp theory/builtin/theory_builtin_rewriter.h theory/builtin/theory_builtin_type_rules.h - theory/builtin/proof_checker.cpp - theory/builtin/proof_checker.h theory/builtin/type_enumerator.cpp theory/builtin/type_enumerator.h theory/bv/abstraction.cpp |