From cd833e892f23a7312b12bac1415fe414cef04f6b Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sat, 16 May 2020 08:55:15 -0700
Subject: [PATCH] avoid iterations on std::unordered_set

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/explanation.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/math/lp/explanation.h b/src/math/lp/explanation.h
index 01853c626..7691554af 100644
--- a/src/math/lp/explanation.h
+++ b/src/math/lp/explanation.h
@@ -47,7 +47,11 @@ public:
         push_justification(j);
     }
     
-    void add(const explanation& e) { for (auto j: e.m_set_of_ci) add(j); }
+    void add(const explanation& e) {
+        for (const auto& p: e.m_explanation) {
+            add(p.second);
+        }
+    }
     template <typename T>
     void add_expl(const T& e) { for (auto j: e) add(j); }
     void add(unsigned ci) { push_justification(ci); }