model: remove unnecessary parameter to ModelChecker::process_read

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index bd8791964baee4982c058c05c42d3678a7f621da..7db1a8d8701922d691c9827f1be52b7bcb5b002d 100644 (file)
--- a/model.h
+++ b/model.h
@@ -110,7 +110,7 @@ private:
         */
        void set_current_action(ModelAction *act) { priv->current_action = act; }
        Thread * check_current_action(ModelAction *curr);
-       bool process_read(ModelAction *curr, Thread * th, bool second_part_of_rmw);
+       bool process_read(ModelAction *curr, bool second_part_of_rmw);
 
        bool take_step();