]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/checker/UdporChecker.cpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Factor common code.
[simgrid.git] / src / mc / checker / UdporChecker.cpp
index a3e4265f88b29a3c8a6294c6068a2e7039665e91..a209a580b71ad84f1af8754c74d01c183779ad4b 100644 (file)
@@ -29,7 +29,7 @@ std::vector<std::string> UdporChecker::get_textual_trace()
 
 void UdporChecker::log_state() {}
 
-Checker* createUdporChecker(Session* session)
+Checker* create_udpor_checker(Session* session)
 {
   return new UdporChecker(session);
 }