X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=libthreads.cc;h=a8ce0faee1ef59a94191858d0e3f57baea41e43b;hb=ad1c474f5a633940b6732a883f425dcf32760469;hp=07ce633e5d29277881ef213563dc5e4c3b8350a9;hpb=0c8ec8cc34f3ed7ab5398c65d58129e604b73920;p=model-checker.git

diff --git a/libthreads.cc b/libthreads.cc
index 07ce633..a8ce0fa 100644
--- a/libthreads.cc
+++ b/libthreads.cc
@@ -72,6 +72,7 @@ static int thread_system_next(void)
 	struct thread *curr, *next;
 
 	curr = thread_current();
+	model->check_current_action();
 	if (curr) {
 		if (curr->state == THREAD_READY)
 			model->scheduler->add_thread(curr);