diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-08-22 15:03:08 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-22 20:03:08 +0000 |
| commit | 63bccca3e6e96e8e1ed92a25ca04f10d44858bff (patch) | |
| tree | 9f91abfd5d19bcc092a0582ba54f0d2a98618ef1 /src/CMakeLists.txt | |
| parent | 78e84e867417642b04da5c136ef548dfde8ca7f0 (diff) | |
Simplify model printing modes (#7049)
This removes the model printing mode options::ModelUninterpPrintMode::DtEnum which was previously used to print uninterpreted sorts as enumeration datatypes in the model. This mode was to my knowledge never used and moreover will not be easy to implement in the API.
This is work towards finalizing the API for models.
This PR also removes a file that I failed to delete in a recent PR.
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 2aa91f61b..9d887cc63 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -65,8 +65,6 @@ libcvc5_add_sources( options/options_public.h options/outputc.cpp options/outputc.h - options/printer_modes.cpp - options/printer_modes.h options/set_language.cpp options/set_language.h preprocessing/assertion_pipeline.cpp |