another mc_model_checker call location disappears

[simgrid.git] / src / mc / remote / CheckerSide.cpp

diff --git a/src/mc/remote/CheckerSide.cpp b/src/mc/remote/CheckerSide.cpp
index 0b735e8..9091592 100644 (file)
--- a/src/mc/remote/CheckerSide.cpp
+++ b/src/mc/remote/CheckerSide.cpp
@@ -59,7 +59,7 @@ CheckerSide::CheckerSide(int sockfd, ModelChecker* mc) : channel_(sockfd)
   signal_event_.reset(signal_event);
 }
 
-void CheckerSide::dispatch() const
+void CheckerSide::dispatch_events() const
 {
   event_base_dispatch(base_.get());
 }