--- rpl/src/rpl.h	2011/08/30 14:19:28	1.113
+++ rpl/src/rpl.h	2011/09/03 10:31:51	1.115
@@ -389,6 +389,8 @@ typedef unsigned char			t_8_bits;
 
 		extern jmp_buf				contexte;
 		extern jmp_buf				contexte_initial;
+		extern jmp_buf				contexte_processus;
+		extern jmp_buf				contexte_thread;
 
 #		ifdef SEMAPHORES_NOMMES
 		extern pthread_mutex_t		mutex_sem;
@@ -429,6 +431,8 @@ typedef unsigned char			t_8_bits;
 
 		jmp_buf						contexte;
 		jmp_buf						contexte_initial;
+		jmp_buf						contexte_processus;
+		jmp_buf						contexte_thread;
 
 #		ifdef SEMAPHORES_NOMMES
 		pthread_mutex_t				mutex_sem = PTHREAD_MUTEX_INITIALIZER;
@@ -1798,7 +1802,6 @@ typedef struct processus
 
 	struct_liste_chainee		*l_base_pile;
 	struct_liste_chainee		*l_base_pile_last;
-	struct_liste_chainee		*l_base_pile_undo;
 
 	unsigned long				hauteur_pile_operationnelle;
 
@@ -2060,6 +2063,7 @@ typedef struct processus
 
 /* Traitement des erreurs								*/
 
+	unsigned int				compteur_violation_d_acces;
 	unsigned int				erreur_compilation;
 	unsigned int				erreur_execution;
 	unsigned int				erreur_systeme;
@@ -2771,7 +2775,6 @@ void instruction_t_vers_l(struct_process
 
 void instruction_ucase(struct_processus *s_etat_processus);
 void instruction_uchol(struct_processus *s_etat_processus);
-void instruction_undo(struct_processus *s_etat_processus);
 void instruction_unlock(struct_processus *s_etat_processus);
 void instruction_unprotect(struct_processus *s_etat_processus);
 void instruction_until(struct_processus *s_etat_processus);