X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.h;h=c368ce6ef9cc7ca937cf78b580de1b5a80a6dd9d;hp=ae668b159cb04d701ff151f099b96c85ae2452a0;hb=ed060a0d38302898816bedc7205d0283fffcc6f1;hpb=491b379adcbd0897c6f9ab5660d4d23afde3abb9

diff --git a/model.h b/model.h
index ae668b1..c368ce6 100644
--- a/model.h
+++ b/model.h
@@ -176,7 +176,8 @@ private:
 	ModelAction * get_last_fence_conflict(ModelAction *act) const;
 	ModelAction * get_last_conflict(ModelAction *act) const;
 	void set_backtracking(ModelAction *act);
-	Thread * get_next_thread(ModelAction *curr);
+	Thread * action_select_next_thread(const ModelAction *curr) const;
+	Thread * get_next_thread();
 	bool set_latest_backtrack(ModelAction *act);
 	ModelAction * get_next_backtrack();
 	void reset_to_initial_state();