Fixing a bug for checking whether a node was visited.

diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp
index 021aa61c68b79af3f0aa6608a49658d9bcd6d4f0..5e14d1cb51e85acd34eeeaa40386b1c22c1abde0 100644 (file)
--- a/src/theory/theory.cpp
+++ b/src/theory/theory.cpp
@@ -374,7 +374,7 @@ std::vector<Node> ExtTheory::collectVars(Node n) {
   while (!worklist.empty()) {
     Node current = worklist.back();
     worklist.pop_back();
-    if (current.isConst() || visited.count(current) <= 0) {
+    if (current.isConst() || visited.count(current) > 0) {
       continue;
     }
     visited.insert(current);