No need to insert an element twice in a set. It causes some weird behaviour.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@494 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/xbt/swag.c b/src/xbt/swag.c
index 8759e67..f6a8491 100644 (file)
--- a/src/xbt/swag.c
+++ b/src/xbt/swag.c
@@ -36,6 +36,9 @@ void xbt_swag_init(xbt_swag_t swag, size_t offset)
 
 void xbt_swag_insert(void *obj, xbt_swag_t swag)
 {
 
 void xbt_swag_insert(void *obj, xbt_swag_t swag)
 {

+
+  if(xbt_swag_belongs(obj, swag)) return;
+  

   (swag->count)++;
   if (swag->head == NULL) {
     swag->head = obj;
   (swag->count)++;
   if (swag->head == NULL) {
     swag->head = obj;