diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-29 18:20:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-29 16:20:36 +0000 |
commit | 13499235189b644fc194680afd5b37378d794c09 (patch) | |
tree | bdff5c91c648d882eda6a547a05a6774ceac6758 /src/smt/expand_definitions.h | |
parent | 3a1b36b7471cb3c9e26f3f4cbdb34ca42ba42d80 (diff) |
Simplify generated code for getOption() and setOption() (#6462)
This PR simplifies the generated code for Options::getOption() and Options::setOption(). It now uses less string streams, less temporary vectors and the new options[...] syntax (instead of options::...().
Diffstat (limited to 'src/smt/expand_definitions.h')
0 files changed, 0 insertions, 0 deletions