X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=9e0b34ba18b25cf642a92dea56321763c23b48ba;hb=61d1e3ae29b690f69cf77c5a6f836fb36507a694;hp=783f7a6623df79d89d9611214393098e95484a9a;hpb=c2d0d0dd1f069749e1ee19e5203af048e0b26f1c;p=model-checker.git

diff --git a/model.h b/model.h
index 783f7a6..9e0b34b 100644
--- a/model.h
+++ b/model.h
@@ -155,7 +155,7 @@ private:
 	bool next_execution();
 	ModelAction * check_current_action(ModelAction *curr);
 	bool initialize_curr_action(ModelAction **curr);
-	bool process_read(ModelAction *curr, bool second_part_of_rmw);
+	bool process_read(ModelAction *curr);
 	bool process_write(ModelAction *curr);
 	bool process_fence(ModelAction *curr);
 	bool process_mutex(ModelAction *curr);