MC: apply some sonar advices

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

diff --git a/src/mc/explo/UdporChecker.cpp b/src/mc/explo/UdporChecker.cpp
index f60db43..edd6add 100644 (file)
--- a/src/mc/explo/UdporChecker.cpp
+++ b/src/mc/explo/UdporChecker.cpp
@@ -26,11 +26,6 @@ std::vector<std::string> UdporChecker::get_textual_trace()
   return trace;
 }
 
-void UdporChecker::log_state()
-{
-  Exploration::log_state();
-}
-
 Exploration* create_udpor_checker(const std::vector<char*>& args)
 {
   return new UdporChecker(args);