model: factor out a 'switch_from_master()' function

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index a5262d2b5c46e18e697cedf646cb0eb539fed3d6..cc4fe284abed1c197682986f9faa4b375f8b6a88 100644 (file)
--- a/model.h
+++ b/model.h
@@ -117,6 +117,7 @@ public:
        unsigned int get_num_threads() const;
        Thread * get_current_thread() const;
 
+       void switch_from_master(Thread *thread);
        uint64_t switch_to_master(ModelAction *act);
        ClockVector * get_cv(thread_id_t tid) const;
        ModelAction * get_parent_action(thread_id_t tid) const;