Merge remote-tracking branch 'origin/makefile'

[model-checker.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 0a3d8858e795849f16ab1cae667b2e34bb1367cc..26235d651e10ecb5e2178d281048ea6ce5007893 100644 (file)
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -89,10 +89,10 @@ void CycleGraph::addRMWEdge(const ModelAction *from, const ModelAction *rmw) {
        }
 
        /* Transfer all outgoing edges from the from node to the rmw node */
-       /* This process should not add a cycle because either: 
+       /* This process should not add a cycle because either:
         * (1) The rmw should not have any incoming edges yet if it is the
         * new node or
-        * (2) the fromnode is the new node and therefore it should not 
+        * (2) the fromnode is the new node and therefore it should not
         * have any outgoing edges.
         */
        std::vector<CycleNode *> * edges=fromnode->getEdges();