X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.cc;h=c526af0f590266a825f698be60fb92c4354d1a9c;hb=7abd49a94a2096b0dbed4403ba4397b3ee96422b;hp=fefd595a35e9100482e2ddabe4296d1af55ab78c;hpb=0c0b705a2030faabd0f9540fbe6e474895208fa6;p=model-checker.git

diff --git a/cyclegraph.cc b/cyclegraph.cc
index fefd595..c526af0 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);
 }