X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=59a07597bb5bf0436752ad6a4fca2f22d9fa2fe8;hb=6a5bc08a330aab6440af5933b44c4cd1475807ba;hp=8ff9d375838b193bec751f9b7f0d419a89f07a8d;hpb=b5cdd7ee16b73bbfe53040d23994351f85f83785;p=model-checker.git

diff --git a/model.h b/model.h
index 8ff9d37..59a0759 100644
--- a/model.h
+++ b/model.h
@@ -99,6 +99,7 @@ public:
 	bool isfeasible();
 	bool isfeasibleotherthanRMW();
 	bool isfinalfeasible();
+	void check_promises_thread_disabled();
 	void mo_check_promises(thread_id_t tid, const ModelAction *write);
 	void check_promises(thread_id_t tid, ClockVector *old_cv, ClockVector * merge_cv);
 	void get_release_seq_heads(ModelAction *act, rel_heads_list_t *release_heads);