Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer

[c11tester.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 5d894f848d474444d4c482ae214e7f384a58be5d..47951d4eb645b8f181b3afe6e5cc01ad49260dc4 100644 (file)
--- 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);
 }