model-checker : move functions about snapshot comparison in a separate file mc_compare.c

[simgrid.git] / src / xbt / setset.c

diff --git a/src/xbt/setset.c b/src/xbt/setset.c
index 79d2557..056fb82 100644 (file)
--- a/src/xbt/setset.c
+++ b/src/xbt/setset.c
@@ -64,7 +64,7 @@ void xbt_setset_elm_add(xbt_setset_t setset, void *obj)
   xbt_setset_elm_entry_t new_entry = NULL;
   xbt_setset_elm_entry_t first_elm = NULL;
   xbt_setset_elm_t e = (xbt_setset_elm_t) obj;
-  xbt_assert0(e->ID == 0, "Adding element with non NULL ID");
+  xbt_assert(e->ID == 0, "Adding element with non NULL ID");
   first_elm =
       (xbt_setset_elm_entry_t) xbt_dynar_get_ptr(setset->elm_array, 0);