From 80617a5bb7ad550ac821b68e81dce05b5c906309 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 23 Aug 2012 12:30:27 -0700 Subject: [PATCH] action: make synchronize_with() public --- action.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/action.h b/action.h index ffe60dc..a87e1f2 100644 --- a/action.h +++ b/action.h @@ -81,6 +81,7 @@ public: void create_cv(const ModelAction *parent = NULL); ClockVector * get_cv() const { return cv; } void read_from(const ModelAction *act); + void synchronize_with(const ModelAction *act); bool happens_before(const ModelAction *act) const; @@ -96,7 +97,6 @@ public: MEMALLOC private: - void synchronize_with(const ModelAction *act); /** Type of action (read, write, thread create, thread yield, thread join) */ action_type type; -- 2.34.1