diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-01 19:10:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-02 02:10:42 +0000 |
commit | 9f48eb94a7a72338283492169a0d494fcdc57034 (patch) | |
tree | e7f942325ff7e28e1b3bd8f3617b4e177d1e0409 /src/CMakeLists.txt | |
parent | d2b196b04078464ca843112baeeda5a81fe935a0 (diff) |
Add class EnvObj. (#7113)
This class will serve as base class for classes that need access to the
environment. This does not yet have classes derive from this base class.
Will update #7110 and #7112 to use this after this is in.
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 4bce6f0d2..001a8bbc7 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -294,6 +294,8 @@ libcvc5_add_sources( smt/dump_manager.h smt/env.cpp smt/env.h + smt/env_obj.cpp + smt/env_obj.h smt/expand_definitions.cpp smt/expand_definitions.h smt/listeners.cpp |