model: add const to get_thread(ModelAction *act)

[cdsspec-compiler.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 2dc2eae9503a92f1117be1345441242d3a8f1437..9a511952b0826470befc1a2bcc7ecde85619265c 100644 (file)
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -219,7 +219,7 @@ bool CycleGraph::checkPromise(const ModelAction *fromact, Promise *promise) cons
                CycleNode *node = queue.back();
                queue.pop_back();
 
-               if (promise->increment_threads(node->getAction()->get_tid())) {
+               if (promise->eliminate_thread(node->getAction()->get_tid())) {
                        return true;
                }
 
@@ -317,6 +317,7 @@ unsigned int CycleNode::getNumBackEdges() const
 /**
  * Adds an edge from this CycleNode to another CycleNode.
  * @param node The node to which we add a directed edge
+ * @return True if this edge is a new edge; false otherwise
  */
 bool CycleNode::addEdge(CycleNode *node)
 {