Move the selection of the next transition to execute to mc::State

[simgrid.git] / src / mc / mc_base.cpp

diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp
index f4f933b..32139fc 100644 (file)
--- a/src/mc/mc_base.cpp
+++ b/src/mc/mc_base.cpp
@@ -111,7 +111,9 @@ bool request_is_visible(const s_smx_simcall* req)
 #endif
   if (req->observer_ != nullptr)
     return req->observer_->is_visible();
+  else
+    return false;
 }
 
-}
-}
+} // namespace mc
+} // namespace simgrid