--- rpl/src/instructions_d5.c 2010/05/13 19:09:18 1.19 +++ rpl/src/instructions_d5.c 2010/05/16 19:36:20 1.20 @@ -2712,12 +2712,13 @@ instruction_detach(struct_processus *s_e clear_history(); + free(s_etat_processus); + # ifdef DEBUG_MEMOIRE - debug_memoire_verification(s_etat_processus); + debug_memoire_verification(); + analyse_post_mortem(); # endif - free(s_etat_processus); - exit(EXIT_SUCCESS); } else