--- rpl/src/gestion_threads.c 2011/08/30 14:19:28 1.47 +++ rpl/src/gestion_threads.c 2011/09/01 12:14:56 1.48 @@ -916,17 +916,6 @@ lancement_thread(void *argument) l_element_courant = l_element_suivant; } - l_element_courant = (*s_etat_processus).l_base_pile_undo; - while(l_element_courant != NULL) - { - l_element_suivant = (*l_element_courant).suivant; - - liberation(s_etat_processus, (*l_element_courant).donnee); - free(l_element_courant); - - l_element_courant = l_element_suivant; - } - l_element_courant = (*s_etat_processus).l_base_pile_contextes; while(l_element_courant != NULL) {