update

[simgrid.git] / src / simix / smx_user.c

diff --git a/src/simix/smx_user.c b/src/simix/smx_user.c
index 84ce825..47d9021 100644 (file)
--- a/src/simix/smx_user.c
+++ b/src/simix/smx_user.c
@@ -1268,7 +1268,7 @@ 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_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... :)
+    fprintf(stderr,"You must run MSG_init before using MSG\n"); // We can't use xbt_die since we may get there before the initialization
     xbt_abort();
   }
   smx_simcall_t simcall = SIMIX_simcall_mine();
@@ -1651,6 +1651,8 @@ xbt_dict_t simcall_file_ls(const char* mount, const char* path)
   return simcall->file_ls.result;
 }
 
+#ifdef HAVE_MC
+
 void *simcall_mc_snapshot(void)
 {
   smx_simcall_t simcall = SIMIX_simcall_mine();
@@ -1676,6 +1678,7 @@ int simcall_mc_compare_snapshots(void *s1, void *s2){
   return simcall->mc_compare_snapshots.result;
 }
 
+#endif /* HAVE_MC */
 
 /* ****************************************************************************************** */
 /* TUTORIAL: New API                                                                          */