diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-05-10 23:37:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-10 21:37:12 +0000 |
commit | d5987a99361f227cf2ea1404fec594f4a998be70 (patch) | |
tree | 2bb7da37547255de3a63141caa41b58e1adc6e7c /cmake | |
parent | ac8cf53b07eb29687850f2ae64007f9f2688c9ad (diff) |
Remove read_only from options. (#6513)
This PR removes the possibility of declaring options read_only.
It's only effect is making an attempts to disallow changing the respective option from within our internal code (by not providing a setter method). However, a "read-only" option can still be set via the setOption() methods that is also used by the API, and by SMT-LIB's set-option.
Diffstat (limited to 'cmake')
0 files changed, 0 insertions, 0 deletions