X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=97e9849f0bbb441c5af72999e3453bc9adbe5745;hp=fbf1b3f0909ff3fd67fbb10e905d1c0b7ff9003b;hb=9e9096d119abfeed4753a5944b31916ae559e22e;hpb=fb2ab76b04c83faa654c8819c8e39b1e5fcc7d75

diff --git a/model.h b/model.h
index fbf1b3f0..97e9849f 100644
--- a/model.h
+++ b/model.h
@@ -54,7 +54,7 @@ public:
 	modelclock_t get_next_seq_num();
 
 	int switch_to_master(ModelAction *act);
-
+	ClockVector * get_cv(thread_id_t tid);
 	bool next_execution();
 
 	MEMALLOC