From 7abd49a94a2096b0dbed4403ba4397b3ee96422b Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 31 Jul 2012 15:59:56 -0700
Subject: [PATCH] cyclegraph: bugfix - graph reachability was reversed

[Split from Brian Demsky's commit]
---
 cyclegraph.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cyclegraph.cc b/cyclegraph.cc
index fefd595a..c526af0f 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -25,7 +25,7 @@ void CycleGraph::addEdge(const ModelAction *from, const ModelAction *to) {
 	CycleNode *tonode=getNode(to);
 	if (!hasCycles) {
 		// Check for Cycles
-		hasCycles=checkReachable(fromnode, tonode);
+		hasCycles=checkReachable(tonode, fromnode);
 	}
 	fromnode->addEdge(tonode);
 }
-- 
2.34.1