diff options
author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-09-16 12:45:01 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-16 12:45:01 -0500 |
commit | 2c2f05c96e021006275a2bc70b9ede70b280616d (patch) | |
tree | db702d7b8fbd14dd8003b1f03c02b77c89d2fced /src/CMakeLists.txt | |
parent | 0534ea1bbee9a3a7049580449ab25025a4f92a9a (diff) |
Dump commands in internal code using command printing functions. (#5040)
This is work towards migrating commands to the new API. Internal code that creates command objects just for dumping is replaced with direct calls to functions that print the those commands.
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 3b0794a8f..e6cb97894 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -216,6 +216,8 @@ libcvc4_add_sources( smt/node_command.h smt/options_manager.cpp smt/options_manager.h + smt/output_manager.cpp + smt/output_manager.h smt/quant_elim_solver.cpp smt/quant_elim_solver.h smt/preprocessor.cpp |