diff options
| author | Piotr Trojanek <ptroja@users.noreply.github.com> | 2019-08-24 19:48:44 +0200 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-24 12:48:44 -0500 |
| commit | 07538e806de6243740f17356f8d8ab7d7e50f322 (patch) | |
| tree | 0a079f6a49b2022906ce2f3e5c803dc00d854cde | |
| parent | 940bcf6dd74a15818bc88c2a183de93b7114cba5 (diff) | |
fix misuse of iterator with a different container (#3214)
| -rw-r--r-- | src/expr/node_algorithm.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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) |