model-checker : remove the display of promela property

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

diff --git a/src/xbt/swag.c b/src/xbt/swag.c
index 70a8f084e0f27e93b58db86cc7e4e5a8c181f3a6..dcee5efcbceda96d63c4fc6d13302d2863270a6b 100644 (file)
--- a/src/xbt/swag.c
+++ b/src/xbt/swag.c
@@ -100,7 +100,7 @@ XBT_INLINE void xbt_swag_insert_at_tail(void *obj, xbt_swag_t swag)
     swag->tail = obj;
     swag->count++;
   }
-  else if (obj != swag->head && !xbt_swag_getPrev(obj, swag->offset)) {
+  else if (obj != swag->tail && !xbt_swag_getNext(obj, swag->offset)) {
     xbt_swag_getPrev(obj, swag->offset) = swag->tail;
     xbt_swag_getNext(swag->tail, swag->offset) = obj;
     swag->tail = obj;