X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=9b63f0fcdbce350fa04c272d2091c676af3dd42b;hb=05d91de8ac8098425d51e9af2704eb91e04a7f9b;hp=4f139878ce00300f4252c1705537deabd7643a5f;hpb=fab8621e4bf6acafc04dbaf786e2de6263d892f6;p=model-checker.git

diff --git a/model.h b/model.h
index 4f13987..9b63f0f 100644
--- a/model.h
+++ b/model.h
@@ -116,7 +116,7 @@ public:
 	unsigned int get_num_threads() const;
 	Thread * get_current_thread() const;
 
-	int switch_to_master(ModelAction *act);
+	uint64_t switch_to_master(ModelAction *act);
 	ClockVector * get_cv(thread_id_t tid) const;
 	ModelAction * get_parent_action(thread_id_t tid) const;
 	void check_promises_thread_disabled();