Fix bug

diff --git a/execution.cc b/execution.cc
index d5fb194f633c890698cfd91ed08571614ad3956c..4b76520660e2f0fedc67d72c8f9f262bbed843fc 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -1592,18 +1592,6 @@ Thread * ModelExecution::action_select_next_thread(const ModelAction *curr) cons
        /* Do not split atomic RMW */
        if (curr->is_rmwr())
                return get_thread(curr);
-       if (curr->is_write()) {
-               std::memory_order order = curr->get_mo();
-               switch(order) {
-               case std::memory_order_relaxed:
-                       return get_thread(curr);
-               case std::memory_order_release:
-                       return get_thread(curr);
-               default:
-                       return NULL;
-               }
-       }
-
        /* Follow CREATE with the created thread */
        /* which is not needed, because model.cc takes care of this */
        if (curr->get_type() == THREAD_CREATE)