model-checker : forget regions corresponding to libsimgrid for each snapshot

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

diff --git a/src/xbt/heap.c b/src/xbt/heap.c
index 2b153804cd7e8f30170891b496c40fb9f856aefb..d26166b5faccf5f4c99503cbc83c1c6f4909b153 100644 (file)
--- a/src/xbt/heap.c
+++ b/src/xbt/heap.c
@@ -145,7 +145,7 @@ void *xbt_heap_pop(xbt_heap_t H)
 /**
  * @brief Extracts from the heap and returns the element at position i.
  * \param H the heap we're working on
- * \param i    element position
+ * \param i  element position
  * \return the element at position i if ok, NULL otherwise
  *
  * Extracts from the heap and returns the element at position i. The heap is automatically reorded.