X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/af72ee01a6a0c01b1a67dc3095f952fd8ab1dd42..975faee3cab10e7dadee66a29bbdb7bfaef6e05f:/src/mc/api.hpp

diff --git a/src/mc/api.hpp b/src/mc/api.hpp
index 191a213bfd..22523490a4 100644
--- a/src/mc/api.hpp
+++ b/src/mc/api.hpp
@@ -25,7 +25,7 @@ struct s_transition_detail {
   RemotePtr<kernel::activity::ActivityImpl> comm_remote_addr {}; // the communication this transition concerns (to be used only for isend, ireceive, wait and test)
 };
 
-typedef std::unique_ptr<s_transition_detail> transition_detail_t;
+using transition_detail_t = std::unique_ptr<s_transition_detail>;
 
 /*
 ** This class aimes to implement FACADE APIs for simgrid. The FACADE layer sits between the CheckerSide
@@ -136,7 +136,7 @@ public:
   // SESSION APIs
   void session_initialize() const;
   void s_close() const;
-  void execute(Transition const& transition) const;
+  void execute(Transition& transition, smx_simcall_t simcall) const;
 
 // AUTOMATION APIs
 #if SIMGRID_HAVE_MC