X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/60478d1730b5d604df65e9d5b10f3b77cd770b76..a718b062e3373ae631ca7bbffe798c413ade738a:/src/kernel/activity/MailboxImpl.cpp

diff --git a/src/kernel/activity/MailboxImpl.cpp b/src/kernel/activity/MailboxImpl.cpp
index b8ff61276a..06060f4299 100644
--- a/src/kernel/activity/MailboxImpl.cpp
+++ b/src/kernel/activity/MailboxImpl.cpp
@@ -50,11 +50,10 @@ void MailboxImpl::setReceiver(s4u::ActorPtr actor)
   this->permanent_receiver = actor.get()->getImpl();
 }
 /** @brief Pushes a communication activity into a mailbox
- *  @param activity What to add
+ *  @param comm What to add
  */
-void MailboxImpl::push(smx_activity_t synchro)
+void MailboxImpl::push(activity::Comm* comm)
 {
-  simgrid::kernel::activity::Comm* comm = static_cast<simgrid::kernel::activity::Comm*>(synchro);
   this->comm_queue.push_back(comm);
   comm->mbox = this;
 }