promise: rename increment_threads() -> eliminate_thread()

[model-checker.git] / cyclegraph.cc

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 8326f28b7ee3a2c3be6332fc383f959707040eac..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;
                }