fix #3978

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Apr 22, 2020 · f94abf6 · f94abf6
1 parent caa5b09
commit f94abf6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/math/lp/emonics.cpp b/src/math/lp/emonics.cpp
@@ -200,9 +200,10 @@ void emonics::remove_cg_mon(const monic& m) {
     }
     else if (v[0] == u) {
         v.erase(u);
+        auto v0 = v[0];
         unsigned_vector vv(v);
         m_cg_table.remove(u);
-        m_cg_table.insert(v[0], vv);
+        m_cg_table.insert(v0, vv);
     }
     else {
         v.erase(u);