threads: bugfix - do not call thread_current() from model-checker

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index d19fdf9d12c1d809a7e72b4d6974b65f3be674a3..c832b03710fc360ab17bcb5b3afe7a5920c1cfa6 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -216,7 +216,7 @@ Thread * ModelChecker::get_next_thread(ModelAction *curr)
        if (curr != NULL) {
                /* Do not split atomic actions. */
                if (curr->is_rmwr())
-                       return thread_current();
+                       return get_thread(curr);
                else if (curr->get_type() == THREAD_CREATE)
                        return curr->get_thread_operand();
        }