diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-09-23 16:14:08 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-23 23:14:08 +0000 |
| commit | 07a47262c405fb37248572d3029883d078273cd7 (patch) | |
| tree | fb868ba98c8e3148db5a7397cd482c509514baaf /src/CMakeLists.txt | |
| parent | 6b56848d3b09894aa4d987ca2e91a87ff1d022ab (diff) | |
Eliminate Output macro in favor of simple Env functions (#7223)
This PR eliminates the Output macro together with the associated output stream (stored in a static variable). It is replaces by a set of simple utility functions of the Env class, and we instead use the output stream from options.base.out.
To achieve this, a couple of quantifier classes are now derived from EnvObj.
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 8f574dc82..914bc5d0c 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -63,8 +63,6 @@ libcvc5_add_sources( options/options_handler.h options/options_listener.h options/options_public.h - options/outputc.cpp - options/outputc.h options/set_language.cpp options/set_language.h preprocessing/assertion_pipeline.cpp |