From: Tim King <taking@google.com>
Date: Tue, 28 Mar 2017 06:26:34 +0000 (-0700)
Subject: Fixing a bug for checking whether a node was visited.
X-Git-Tag: cvc5-1.0.0~5863
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f0a621b5cd4478ea9b7263ebe1d162495553e1a9;p=cvc5.git

Fixing a bug for checking whether a node was visited.
---

diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp
index 021aa61c6..5e14d1cb5 100644
--- 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);