From 18f3e39e72b1b31594acb10842e61f90109876e0 Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Tue, 9 Oct 2012 18:10:10 -0700 Subject: [PATCH] make linux_rw locks work again --- model.cc | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/model.cc b/model.cc index c0cc93e..e394865 100644 --- a/model.cc +++ b/model.cc @@ -767,10 +767,9 @@ Thread * ModelChecker::check_current_action(ModelAction *curr) return get_next_thread(NULL); } - wake_up_sleeping_actions(curr); - ModelAction *newcurr = initialize_curr_action(curr); + wake_up_sleeping_actions(curr); /* Add the action to lists before any other model-checking tasks */ if (!second_part_of_rmw) -- 2.34.1