diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-06-16 10:46:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-16 08:46:01 +0000 |
| commit | 6ae5647e754925a5c963d2b92c7255d7e0de6b03 (patch) | |
| tree | 1566f4fce9728d8bab74fb64bc0522683816ab30 /src/options/CMakeLists.txt | |
| parent | c299e8661f24d3a6acb736e9e5df1b1920488ac3 (diff) | |
Properly consider aliases in option handlers (#6683)
This PR makes sure that option handlers have access to both the canonical option name and the option name that was actually used. It also updates the options README and gets rid of the base_handlers.h of which only a fraction was used.
Diffstat (limited to 'src/options/CMakeLists.txt')
| -rw-r--r-- | src/options/CMakeLists.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt index 26ced1a24..cc7b621a8 100644 --- a/src/options/CMakeLists.txt +++ b/src/options/CMakeLists.txt @@ -17,7 +17,6 @@ check_python_module("toml") libcvc5_add_sources( - base_handlers.h decision_weight.h didyoumean.cpp didyoumean.h |