promise: rename increment_threads() -> eliminate_thread()

[model-checker.git] / promise.h

diff --git a/promise.h b/promise.h
index ce5bea168f60cfacc4ee01efaad343a1db2c9039..8a0ac590665e4454b22017ab516b5aad27c1f730 100644 (file)
--- a/promise.h
+++ b/promise.h
@@ -26,11 +26,11 @@ class Promise {
                read(act),
                write(NULL)
        {
-               increment_threads(act->get_tid());
+               eliminate_thread(act->get_tid());
        }
        modelclock_t get_expiration() const { return expiration; }
        ModelAction * get_action() const { return read; }
-       bool increment_threads(thread_id_t tid);
+       bool eliminate_thread(thread_id_t tid);
 
        bool has_sync_thread(thread_id_t tid) {
                unsigned int id = id_to_int(tid);