--- rpl/src/instructions_d5.c 2015/01/05 15:32:17 1.121 +++ rpl/src/instructions_d5.c 2015/01/27 14:18:06 1.123 @@ -2802,7 +2802,8 @@ instruction_detach(struct_processus *s_e destruction_queue_signaux(s_etat_processus); liberation_contexte_cas(s_etat_processus); arret_thread_signaux(s_etat_processus); - free(s_etat_processus); + liberation_allocateur_buffer(s_etat_processus); + sys_free(s_etat_processus); # ifdef DEBUG_MEMOIRE debug_memoire_verification();