X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=promise.h;h=8a0ac590665e4454b22017ab516b5aad27c1f730;hb=8cebf02d9a4c9f0fe80af04f6276f4978f3b93f5;hp=ce5bea168f60cfacc4ee01efaad343a1db2c9039;hpb=3f24c24a6fd349da74351946477b85d807709410;p=model-checker.git

diff --git a/promise.h b/promise.h
index ce5bea1..8a0ac59 100644
--- 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);