do not use reference to Pterm when reallocation of term table can happen

usi-verification-and-security · Jan 22, 2021 · 8d0a77e · 8d0a77e
1 parent 1220474
commit 8d0a77e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/models/Model.cc b/src/models/Model.cc
@@ -23,11 +23,11 @@ PTRef Model::evaluate(PTRef term) {
     }
     else {
         // complex term not seen before, compute and store the value
-        const Pterm & t = logic.getPterm(term);
-        SymRef symbol = t.symb();
+        SymRef symbol = logic.getPterm(term).symb();
+        int size = logic.getPterm(term).size();
         vec<PTRef> nargs;
-        for (int i = 0; i < t.size(); ++i) {
-            PTRef narg = evaluate(t[i]);
+        for (int i = 0; i < size; ++i) {
+            PTRef narg = evaluate(logic.getPterm(term)[i]);
             nargs.push(narg);
         }
         PTRef val = logic.insertTerm(symbol, nargs);