Semaphore made observable from the Checker side

[simgrid.git] / src / kernel / actor / SimcallObserver.cpp

diff --git a/src/kernel/actor/SimcallObserver.cpp b/src/kernel/actor/SimcallObserver.cpp
index 11c533045ec6303336cccba670eb2833ebb875d4..1d402ab9ecbdc6f01f5adb40c42f6433596e1671 100644 (file)
--- a/src/kernel/actor/SimcallObserver.cpp
+++ b/src/kernel/actor/SimcallObserver.cpp
@@ -48,17 +48,6 @@ bool ConditionWaitSimcall::is_enabled()
   }
   return true;
 }
   }
   return true;
 }

-
-bool SemAcquireSimcall::is_enabled()
-{
-  static bool warned = false;
-  if (not warned) {
-    XBT_INFO("Using semaphore in model-checked code is still experimental. Use at your own risk");
-    warned = true;
-  }
-  return true;
-}
-

 } // namespace actor
 } // namespace kernel
 } // namespace simgrid
 } // namespace actor
 } // namespace kernel
 } // namespace simgrid