-
If we try to set the same index several times we will wrongly have several references to it and, thus, will never be deleted, which Valgrind dislikes See !674
480e1611
If we try to set the same index several times we will wrongly have several references to it and, thus, will never be deleted, which Valgrind dislikes See !674