fix misuse of iterator with a different container (#3214)

diff --git a/src/expr/node_algorithm.cpp b/src/expr/node_algorithm.cpp
index c20dddbcc3c7e30cdfffaaaf5b1ecee427828f42..50ac8297ceeeca0ef0ba59834a8d785997685313 100644 (file)
--- a/src/expr/node_algorithm.cpp
+++ b/src/expr/node_algorithm.cpp
@@ -100,7 +100,7 @@ bool hasSubtermMulti(TNode n, TNode t)
       for (const Node& cn : cur)
       {
         it = contains.find(cn);
-        Assert(it != visited.end());
+        Assert(it != contains.end());
         if (it->second)
         {
           if (doesContain)