From: Brian Norris <banorris@uci.edu>
Date: Thu, 19 Apr 2012 17:47:11 +0000 (-0700)
Subject: tree: bugfix - fix backtrack status
X-Git-Tag: pldi2013~544
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=92c74d06dcde4d3cfc8d3ba9c59f5b7266e1addf;p=model-checker.git

tree: bugfix - fix backtrack status
---

diff --git a/tree.cc b/tree.cc
index c52c184..3a7f5c4 100644
--- a/tree.cc
+++ b/tree.cc
@@ -34,7 +34,7 @@ TreeNode *TreeNode::exploreChild(tree_t id)
 
 int TreeNode::setBacktrack(tree_t id)
 {
-	if (backtrack.find(id) == backtrack.end())
+	if (backtrack.find(id) != backtrack.end())
 		return 1;
 	backtrack.insert(id);
 	return 0;