model: add process_relseq_fixup()

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index a8268cf8740c05fe32c86fe213b9f1d4d095f178..4032ef1263782f72b55d4841d37a9f9e5fd45e62 100644 (file)
--- a/model.h
+++ b/model.h
@@ -140,6 +140,7 @@ private:
        bool process_write(ModelAction *curr);
        bool process_mutex(ModelAction *curr);
        bool process_thread_action(ModelAction *curr);
+       void process_relseq_fixup(ModelAction *curr, work_queue_t *work_queue);
        bool check_action_enabled(ModelAction *curr);
 
        bool take_step();