X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=cyclegraph.cc;h=79030985e6b45e5a3555c4d66ef5a4bbea40dd44;hp=e56c91285d36dd4d78374fafe9fd313ee46be0d6;hb=cb94be05c3b0f333821bf9fdd840dea82cba4ed8;hpb=a7b4dab68db8b1fc466a7ca4098d5a6fb006e353

diff --git a/cyclegraph.cc b/cyclegraph.cc
index e56c9128..79030985 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -81,7 +81,7 @@ void CycleGraph::addNodeEdge(CycleNode *fromnode, CycleNode *tonode, bool forcee
 
 	/* Propagate clock vector changes */
 	if (tonode->cv->merge(fromnode->cv)) {
-		queue->push_back(fromnode);
+		queue->push_back(tonode);
 		while(!queue->empty()) {
 			const CycleNode *node = queue->back();
 			queue->pop_back();