From c4d168205ad9493cfd6d62f563c1cd0103eaf53e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 2 Mar 2020 14:49:45 -0800
Subject: [PATCH] revert a breaking change

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

diff --git a/src/solver/tactic2solver.cpp b/src/solver/tactic2solver.cpp
index 426eae75b..bfeca6732 100644
--- a/src/solver/tactic2solver.cpp
+++ b/src/solver/tactic2solver.cpp
@@ -188,10 +188,10 @@ lbool tactic2solver::check_sat_core2(unsigned num_assumptions, expr * const * as
             }
             break;
         }
-        m_mc = concat(g->mc(), m_mc.get());
         if (m_mc && md) {
             (*m_mc)(md);
         }
+        m_mc = concat(g->mc(), m_mc.get());
         TRACE("tactic", if (m_mc) m_mc->display(tout););
     }
     catch (z3_error & ex) {