X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/248ef080d26ba69c3ce967cf6593190f50ff8677..37baaf70ee95c42a6f4b80913db243c199230fb9:/src/simix/smx_user.c

diff --git a/src/simix/smx_user.c b/src/simix/smx_user.c
index 05932e93bc..a23bdda151 100644
--- a/src/simix/smx_user.c
+++ b/src/simix/smx_user.c
@@ -521,7 +521,7 @@ void simcall_process_set_data(smx_process_t process, void *data)
   }
 }
 
-/** \ingroup m_process_management
+/**
  * \brief Set the kill time of a process.
  *
  * \param process a process
@@ -1005,6 +1005,10 @@ int simcall_comm_is_latency_bounded(smx_action_t comm)
 
 smx_mutex_t simcall_mutex_init(void)
 {
+  if(!simix_global) {
+    fprintf(stderr,"You must run MSG_global_init or gras_init before using MSG or GRAS\n"); // I would have loved using xbt_die but I can't since it is not initialized yet... :)
+    abort();
+  }
   smx_simcall_t simcall = SIMIX_simcall_mine();
 
   simcall->call = SIMCALL_MUTEX_INIT;