From 07538e806de6243740f17356f8d8ab7d7e50f322 Mon Sep 17 00:00:00 2001
From: Piotr Trojanek <ptroja@users.noreply.github.com>
Date: Sat, 24 Aug 2019 19:48:44 +0200
Subject: [PATCH] fix misuse of iterator with a different container (#3214)

---
 src/expr/node_algorithm.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/expr/node_algorithm.cpp b/src/expr/node_algorithm.cpp
index c20dddbcc..50ac8297c 100644
--- 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)
-- 
2.30.2