From 67bbdc752498e6d2a618c2762b9431c92b581e7a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 29 Nov 2020 19:48:42 -0800
Subject: [PATCH] fix initialization order

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_consequences.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_consequences.cpp b/src/smt/smt_consequences.cpp
index 477b8a8b3..b508372a1 100644
--- a/src/smt/smt_consequences.cpp
+++ b/src/smt/smt_consequences.cpp
@@ -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() {