From f0a621b5cd4478ea9b7263ebe1d162495553e1a9 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Mon, 27 Mar 2017 23:26:34 -0700
Subject: Fixing a bug for checking whether a node was visited.

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

(limited to 'src')

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);
-- 
cgit v1.2.3