--- rpl/src/instructions_d5.c	2010/02/10 10:14:21	1.3
+++ rpl/src/instructions_d5.c	2010/02/28 14:47:14	1.4
@@ -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