From bcca975d2d4aa001d089fcbf0667eb9511f7d375 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Tue, 10 Feb 2026 10:33:36 +0000
Subject: [PATCH] fix crash

---
 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 bdb6c18e5..156fbccb8 100644
--- a/src/smt/smt_consequences.cpp
+++ b/src/smt/smt_consequences.cpp
@@ -60,7 +60,6 @@ namespace smt {
         else {
             justify(lit, s);
         }
-        m_antecedents.insert(lit.var(), std::move(s));
         bool found = false;
         if (m_var2val.contains(e)) {
             found = true;
@@ -94,6 +93,7 @@ namespace smt {
             fml = m.mk_implies(antecedent2fml(s), fml);
             conseq.push_back(fml);
         }
+        m_antecedents.insert(lit.var(), std::move(s));
     }
 
     void context::justify(literal lit, index_set& s) {