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/parser/smt2/smt2.cpp | |
| 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/parser/smt2/smt2.cpp')
| -rw-r--r-- | src/parser/smt2/smt2.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index f9942049a..8031e81e6 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -610,6 +610,7 @@ void Smt2::pushDefineFunRecScope( void Smt2::reset() { d_logicSet = false; + d_seenSetLogic = false; d_logic = LogicInfo(); operatorKindMap.clear(); d_lastNamedTerm = std::pair<Expr, std::string>(); |