--- rpl/src/instructions_d5.c	2011/07/25 07:44:56	1.60
+++ rpl/src/instructions_d5.c	2011/08/09 10:30:37	1.61
@@ -2927,6 +2927,7 @@ instruction_detach(struct_processus *s_e
 		destruction_fifos_signaux(s_etat_processus);
 #		endif
 
+		liberation_contexte_cas(s_etat_processus);
 		free(s_etat_processus);
 
 #		ifdef DEBUG_MEMOIRE