log_state has nothing to do in RemoteApp, it belongs to the exploration

[simgrid.git] / src / mc / explo / UdporChecker.cpp

diff --git a/src/mc/explo/UdporChecker.cpp b/src/mc/explo/UdporChecker.cpp
index 5b4fb8b..308e43c 100644 (file)
--- a/src/mc/explo/UdporChecker.cpp
+++ b/src/mc/explo/UdporChecker.cpp
@@ -26,7 +26,10 @@ std::vector<std::string> UdporChecker::get_textual_trace()
   return trace;
 }
 
-void UdporChecker::log_state() {}
+void UdporChecker::log_state()
+{
+  Exploration::log_state();
+}
 
 Exploration* create_udpor_checker(RemoteApp& remote_app)
 {