X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.h;h=f4961d80cfd70d31ff041c88b747cbc6794ab0da;hp=3327683e65efb21c2fe716c6ccc6fbef1cc8dc8f;hb=07b041c2dd6958bb3a52ffcba07e8e642130548c;hpb=78ec1662db6d8967b68d10602131d0ea7f3794e1

diff --git a/model.h b/model.h
index 3327683..f4961d8 100644
--- a/model.h
+++ b/model.h
@@ -98,7 +98,6 @@ public:
 	ClockVector * get_cv(thread_id_t tid) const;
 	ModelAction * get_parent_action(thread_id_t tid) const;
 	void check_promises_thread_disabled();
-	void check_promises(thread_id_t tid, ClockVector *old_cv, ClockVector *merge_cv);
 	bool isfeasibleprefix() const;
 
 	bool assert_bug(const char *msg, ...);
@@ -168,6 +167,7 @@ private:
 	void compute_promises(ModelAction *curr);
 	void compute_relseq_breakwrites(ModelAction *curr);
 
+	void check_promises(thread_id_t tid, ClockVector *old_cv, ClockVector *merge_cv);
 	void mo_check_promises(const ModelAction *act, bool is_read_check);
 	void thread_blocking_check_promises(Thread *blocker, Thread *waiting);