MC: tiny code simplifications

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

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 709aa72f605e029935df73845336b442e9a9e788..f49da371df84411015129aae3eb0c6f36272056f 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -269,12 +269,6 @@ void ModelChecker::handle_events(int fd, short events)
   }
 }
 
   }
 }
 

-void ModelChecker::loop()
-{
-  if (this->process().running())
-    event_base_dispatch(base_);
-}
-

 void ModelChecker::handle_waitpid()
 {
   XBT_DEBUG("Check for wait event");
 void ModelChecker::handle_waitpid()
 {
   XBT_DEBUG("Check for wait event");