--- rpl/src/instructions_d5.c	2010/02/10 10:14:21	1.3
+++ rpl/src/instructions_d5.c	2010/03/04 10:17:50	1.6
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.0.11
+  RPL/2 (R) version 4.0.12
   Copyright (C) 1989-2010 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -2515,9 +2515,11 @@ instruction_detach(struct_processus *s_e
 
 		liberation(s_etat_processus, s_objet);
 
+#		ifndef Cygwin
 		free((*s_etat_processus).pile_signal.ss_sp);
-		free((*s_etat_processus).definitions_chainees);
+#		endif
 
+		free((*s_etat_processus).definitions_chainees);
 		free((*s_etat_processus).nom_fichier_historique);
 
 		for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)
@@ -2573,6 +2575,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