fix

HanielB · Mar 22, 2024 · f7740c9 · f7740c9
1 parent f2014a6
commit f7740c9
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/smt/solver_engine.cpp b/src/smt/solver_engine.cpp
@@ -1815,8 +1815,11 @@ std::vector<Node> SolverEngine::getHints()
   {
     currResults.clear();
     currResults.push_back(p.second);
-    Assert(rewriteInsts.find(p.first) != rewriteInsts.end());
-    currResults.insert(currResults.end(), rewriteInsts[p.first].begin(), rewriteInsts[p.first].end());
+    auto it = rewriteInsts.find(p.first);
+    if (it != rewriteInsts.end())
+    {
+      currResults.insert(currResults.end(), it->second.begin(), it->second.end());
+    }
     result.push_back(nm->mkNode(Kind::SEXPR, currResults));
   }
   return result;