Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

[simgrid.git] / src / instr / instr_interface.c

diff --git a/src/instr/instr_interface.c b/src/instr/instr_interface.c
index a96568e..49e0517 100644 (file)
--- a/src/instr/instr_interface.c
+++ b/src/instr/instr_interface.c
@@ -22,7 +22,7 @@ void TRACE_category_with_color (const char *category, const char *color)
   if (!(TRACE_is_active() && category != NULL))
     return;
 
-  xbt_assert1 (instr_platform_traced(),
+  xbt_assert (instr_platform_traced(),
       "%s must be called after environment creation", __FUNCTION__);
 
   //check if category is already created
@@ -96,7 +96,7 @@ void TRACE_user_link_variable(double time, const char *resource,
   if (!TRACE_is_active())
     return;
 
-  xbt_assert1 (instr_platform_traced(),
+  xbt_assert (instr_platform_traced(),
       "%s must be called after environment creation", __FUNCTION__);
 
   char valuestr[100];
@@ -123,7 +123,7 @@ void TRACE_user_host_variable(double time, const char *variable,
   if (!TRACE_is_active())
     return;
 
-  xbt_assert1 (instr_platform_traced(),
+  xbt_assert (instr_platform_traced(),
       "%s must be called after environment creation", __FUNCTION__);
 
   char valuestr[100];