--- rpl/src/instructions_d5.c	2011/06/27 09:04:57	1.58
+++ rpl/src/instructions_d5.c	2011/08/09 10:30:37	1.61
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.0
+  RPL/2 (R) version 4.1.2
   Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -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