X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=c97cbf1a05f905fb79087c21b91401548b5ecf2e;hb=8d0922f803ba8e3c093f20e5243135ea53b619f0;hp=5f62ff835df1d1e9df13dde2e8cd204d2bafd9d2;hpb=09b2cb3cabe0d96f62383a8fdd040e7605a1ffc6;p=model-checker.git

diff --git a/model.h b/model.h
index 5f62ff8..c97cbf1 100644
--- a/model.h
+++ b/model.h
@@ -148,7 +148,7 @@ private:
 
 	bool next_execution();
 	void set_current_action(ModelAction *act);
-	Thread * check_current_action(ModelAction *curr);
+	ModelAction * check_current_action(ModelAction *curr);
 	bool initialize_curr_action(ModelAction **curr);
 	bool process_read(ModelAction *curr, bool second_part_of_rmw);
 	bool process_write(ModelAction *curr);