Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
remove (void) in C++
[simgrid.git] / src / mc / checker / CommunicationDeterminismChecker.cpp
index 4d13234..f3d7caa 100644 (file)
@@ -426,7 +426,7 @@ void CommunicationDeterminismChecker::restoreState()
   }
 }
 
-void CommunicationDeterminismChecker::main(void)
+void CommunicationDeterminismChecker::main()
 {
   std::unique_ptr<simgrid::mc::VisitedState> visited_state = nullptr;
   smx_simcall_t req = nullptr;