--- rpl/src/instructions_s1.c 2020/01/10 11:15:48 1.115 +++ rpl/src/instructions_s1.c 2020/11/01 08:51:41 1.116 @@ -3805,6 +3805,7 @@ instruction_syseval(struct_processus *s_ (*s_etat_processus).erreur_systeme = d_es_signal; return; } +instruction_clmf(s_etat_processus); verrouillage_threads_concurrents(s_etat_processus);