Optimize SC lookup

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 3b4784d2e1fe2b364038c546542bd179716c2b8f..1791695432cc0e7f3348e1564c06fd58c030d062 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -316,17 +316,17 @@ void ModelChecker::switch_from_master(Thread *thread)
  */
 uint64_t ModelChecker::switch_to_master(ModelAction *act)
 {
-  if (forklock) {
-    static bool fork_message_printed = false;
-
-    if (!fork_message_printed) {
-      model_print("Fork handler trying to call into model checker...\n");
-      fork_message_printed = true;
-    }
-    delete act;
-    return 0;
-  }
-  DBG();
+       if (forklock) {
+               static bool fork_message_printed = false;
+
+               if (!fork_message_printed) {
+                       model_print("Fork handler trying to call into model checker...\n");
+                       fork_message_printed = true;
+               }
+               delete act;
+               return 0;
+       }
+       DBG();
        Thread *old = thread_current();
        scheduler->set_current_thread(NULL);
        ASSERT(!old->get_pending());