Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
namespacing cosmetics
[simgrid.git] / src / mc / checker / CommunicationDeterminismChecker.cpp
index 070192e..ebd1a91 100644 (file)
@@ -525,7 +525,6 @@ void CommunicationDeterminismChecker::run()
   mc::session->initialize();
 
   this->prepare();
-
   this->real_run();
 }