Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Now handle random transition and multiple times transitions
[simgrid.git] / src / mc / transition / Transition.cpp
index f2ce4ab469bc4dce220a6a26448a91e7440d540f..84ad991fd5583dd615d5c8069f15499dcfa40869 100644 (file)
@@ -47,7 +47,6 @@ std::string Transition::dot_string() const
 void Transition::replay(RemoteApp& app) const
 {
   replayed_transitions_++;
-
 #if SIMGRID_HAVE_MC
   app.handle_simcall(aid_, times_considered_, false);
   app.wait_for_requests();