X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=5f62ff835df1d1e9df13dde2e8cd204d2bafd9d2;hb=ac8e176cd4a8756244c12dbbcaf961d27bfc8a74;hp=8345678fab7f0724a2a4dd7f638470d84bb46483;hpb=5e4e1eebcf9a6248ba9227d7f486ad1fe2a2d3d1;p=model-checker.git

diff --git a/model.h b/model.h
index 8345678..5f62ff8 100644
--- a/model.h
+++ b/model.h
@@ -165,6 +165,7 @@ private:
 	ModelAction * get_last_conflict(ModelAction *act);
 	void set_backtracking(ModelAction *act);
 	Thread * get_next_thread(ModelAction *curr);
+	bool set_latest_backtrack(ModelAction *act);
 	ModelAction * get_next_backtrack();
 	void reset_to_initial_state();
 	bool resolve_promises(ModelAction *curr);