X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;fp=model.h;h=c3e5830211c9276ec7b5004504fbb9472df32069;hb=50b95c3747f4fe79b2ab1a1a6fc303224e16e418;hp=d73e4574ec0fb8b860a2c89e1c87827fd4c65cbc;hpb=7c6c6a9bd044f8986ec17641cb8ea5f4e1aae345;p=model-checker.git

diff --git a/model.h b/model.h
index d73e457..c3e5830 100644
--- a/model.h
+++ b/model.h
@@ -108,7 +108,7 @@ private:
 	void check_recency(ModelAction *curr, bool already_added);
 	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);