X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=1b6bb10a285e4046e4b9bbe727526abf1849f071;hp=b2f7897a310f7dc66fa88ce970893c43c252059c;hb=dae59b7e635c23bc78f27177f64e184d7642ef59;hpb=cda45d92fa7a3268dc0fed66e63ca55d251199bc;ds=sidebyside

diff --git a/model.h b/model.h
index b2f7897a..1b6bb10a 100644
--- a/model.h
+++ b/model.h
@@ -105,7 +105,7 @@ private:
 
 	ModelAction * get_last_conflict(ModelAction *act);
 	void set_backtracking(ModelAction *act);
-	Thread * get_next_replay_thread();
+	Thread * get_next_thread(ModelAction *curr);
 	ModelAction * get_next_backtrack();
 	void reset_to_initial_state();
 	bool resolve_promises(ModelAction *curr);