model: add current action work_queue comment

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index 42e023e5f55b5e5761bc86f41002591310bc4361..fa1bb6fca29b9ee9b8d4f6c18acb7791c75b6ad7 100644 (file)
--- a/model.h
+++ b/model.h
@@ -116,7 +116,7 @@ private:
        ModelAction * initialize_curr_action(ModelAction *curr);
        bool process_read(ModelAction *curr, bool second_part_of_rmw);
        bool process_write(ModelAction *curr);
-       void process_mutex(ModelAction *curr);
+       bool process_mutex(ModelAction *curr);
        bool process_thread_action(ModelAction *curr);
        bool check_action_enabled(ModelAction *curr);