From 0428d106306085706bae9a715ba533a83734d816 Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Mon, 15 Nov 2010 15:12:55 +0000
Subject: [PATCH] an unsigned int cannot be negative, no need to enforce

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8549 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/xbt/dynar.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/xbt/dynar.c b/src/xbt/dynar.c
index d9433a23ad..64c0489e46 100644
--- a/src/xbt/dynar.c
+++ b/src/xbt/dynar.c
@@ -441,7 +441,6 @@ xbt_dynar_replace(xbt_dynar_t dynar,
 {
   _dynar_lock(dynar);
   _sanity_check_dynar(dynar);
-  _sanity_check_idx(idx);
 
   if (idx < dynar->used && dynar->free_f) {
     void *const old_object = _xbt_dynar_elm(dynar, idx);
-- 
2.20.1