cosmetics

diff --git a/src/simix/smx_synchro.cpp b/src/simix/smx_synchro.cpp
index c4d9731..6f53958 100644 (file)
--- a/src/simix/smx_synchro.cpp
+++ b/src/simix/smx_synchro.cpp
@@ -170,7 +170,7 @@ void MutexImpl::unlock(smx_actor_t issuer)
   /* If the mutex is not owned by the issuer, that's not good */
   if (issuer != this->owner)
     THROWF(mismatch_error, 0, "Cannot release that mutex: it was locked by %s (pid:%ld), not by you.",
   /* If the mutex is not owned by the issuer, that's not good */
   if (issuer != this->owner)
     THROWF(mismatch_error, 0, "Cannot release that mutex: it was locked by %s (pid:%ld), not by you.",

-        this->owner->name.c_str(),this->owner->pid);
+           this->owner->cname(), this->owner->pid);

 
   if (xbt_swag_size(this->sleeping) > 0) {
     /*process to wake up */
 
   if (xbt_swag_size(this->sleeping) > 0) {
     /*process to wake up */