diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-26 04:43:19 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-26 11:43:19 +0100 |
commit | 70f0cddbce01fa17622b7b70b638794181aefec5 (patch) | |
tree | d49d38744a10ae902f38ef8508647329e01cb05b /src/CMakeLists.txt | |
parent | c41a2e9be2422a211b9687833c97ba37485cd946 (diff) |
Move expand definitions to its own file (#5528)
We are changing our policy on how expand definitions is handled during preprocessing.
This will require some additions to expand definitions handling. This PR makes a standalone module for expanding definitions.
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 70cb68431..869699ac5 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -219,6 +219,8 @@ libcvc4_add_sources( smt/dump.h smt/dump_manager.cpp smt/dump_manager.h + smt/expand_definitions.cpp + smt/expand_definitions.h smt/listeners.cpp smt/listeners.h smt/logic_exception.h |