mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
fix initialization order
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
5c2f07df09
commit
67bbdc7524
|
@ -285,8 +285,8 @@ namespace smt {
|
|||
bool pushed = false;
|
||||
struct scoped_level {
|
||||
context& c;
|
||||
unsigned lvl;
|
||||
bool& pushed;
|
||||
unsigned lvl;
|
||||
scoped_level(context& c, bool& pushed):
|
||||
c(c), pushed(pushed), lvl(c.get_scope_level()) {}
|
||||
~scoped_level() {
|
||||
|
|
Loading…
Reference in a new issue