Fix a typo

[c11tester.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index e56c91285d36dd4d78374fafe9fd313ee46be0d6..79030985e6b45e5a3555c4d66ef5a4bbea40dd44 100644 (file)
--- 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();