--- rpl/src/instructions_d5.c 2019/02/03 14:40:38 1.165 +++ rpl/src/instructions_d5.c 2019/02/06 14:23:26 1.166 @@ -2801,6 +2801,7 @@ instruction_detach(struct_processus *s_e } else { + deverrouillage_threads_concurrents(s_etat_processus); (*s_etat_processus).erreur_systeme = d_es_processus; return; }