--- rpl/src/instructions_d5.c	2010/01/26 15:22:44	1.1.1.1
+++ rpl/src/instructions_d5.c	2010/02/28 14:47:14	1.4
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.9
+  RPL/2 (R) version 4.0.11
   Copyright (C) 1989-2010 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -2573,6 +2573,11 @@ instruction_detach(struct_processus *s_e
 		sem_destroy(&semaphore_gestionnaires_signaux_atomique);
 
 		clear_history();
+
+#		ifdef DEBUG_MEMOIRE
+		debug_memoire_verification(s_etat_processus);
+#		endif
+
 		exit(EXIT_SUCCESS);
 	}
 	else