diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-11-13 14:14:09 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-13 14:14:09 -0800 |
| commit | 0383980050ab86b1a4f7f265d9c8527e627ef971 (patch) | |
| tree | 7860df1b0ff8a1bb4cdf908bd491608021be7e96 /src/theory/bv/bv_subtheory.h | |
| parent | 6beda739210b7bd13adbb7f62b0c4361156986ee (diff) | |
Allow (set-logic ...) after (reset) (#3457)
Fixes #3353. #3062 introduced a flag that tracks whether we have seen a
`(set-logic ...)` command to improve the handling of `--force-logic`.
However, the flag was not set to `false` when `(reset)` was called. This
commit fixes the issue.
Diffstat (limited to 'src/theory/bv/bv_subtheory.h')
0 files changed, 0 insertions, 0 deletions