X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.cc;h=47951d4eb645b8f181b3afe6e5cc01ad49260dc4;hb=7bde07a5b03021871cb939c1bec0a2d61fcba0fd;hp=5d894f848d474444d4c482ae214e7f384a58be5d;hpb=63b2c687570085f2a87b6a659d26608228af1ee0;p=c11tester.git diff --git a/cyclegraph.cc b/cyclegraph.cc index 5d894f84..47951d4e 100644 --- a/cyclegraph.cc +++ b/cyclegraph.cc @@ -133,7 +133,7 @@ void CycleGraph::addRMWEdge(const ModelAction *from, const ModelAction *rmw) } } fromnode->edges.clear(); - + addNodeEdge(fromnode, rmwnode, true); }