diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-02-26 16:04:58 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-27 00:04:58 +0000 |
| commit | 17839944bace2471e1f2dbd311d1bace9f212927 (patch) | |
| tree | 4de653bad4a1e4220ae7f11c1162c6114b7f7d19 /src/CMakeLists.txt | |
| parent | 21b3b7d708ce85c23c8d7a337d334b0989723595 (diff) | |
google test: theory: Migrate theory_white. (#6006)
This moves test utils for theory tests to test_smt.h and consolidates
two implementations of dummy theories into one.
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index deb20ab70..8825126fa 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -988,7 +988,6 @@ libcvc4_add_sources( theory/theory_rewriter.h theory/theory_state.cpp theory/theory_state.h - theory/theory_test_utils.h theory/trust_node.cpp theory/trust_node.h theory/trust_substitutions.cpp |