model: totally destroy 'curr' within initialize_curr_action()
[model-checker.git] / model.h
diff --git a/model.h b/model.h
index d0043a1..8ff9d37 100644 (file)
--- a/model.h
+++ b/model.h
@@ -139,7 +139,7 @@ private:
         */
        void set_current_action(ModelAction *act) { priv->current_action = act; }
        Thread * check_current_action(ModelAction *curr);
-       ModelAction * initialize_curr_action(ModelAction *curr);
+       bool initialize_curr_action(ModelAction **curr);
        bool process_read(ModelAction *curr, bool second_part_of_rmw);
        bool process_write(ModelAction *curr);
        bool process_mutex(ModelAction *curr);