diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-10-22 15:32:33 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-22 22:32:33 +0000 |
| commit | c6c2cb9d3cc911526266e517460b3e8ae2dab9c0 (patch) | |
| tree | 69ddf30843d1ff26f3c5e604987d3d9325132d61 /src/api/java/jni/cvc5_Stat.cpp | |
| parent | 76c6a103fb68f75e65201da5bab572f4630cd207 (diff) | |
Remove options::X__name (#7414)
This PR removes the static strings options::module::X__name that hold the primary long option name. We used them to figure out which option an handler function was called on for certain handler functions. This was always a weird way, and the past refactorings have eliminated all these cases.
This also removes the need to the two arguments option and flag to all option handlers.
Diffstat (limited to 'src/api/java/jni/cvc5_Stat.cpp')
0 files changed, 0 insertions, 0 deletions