--- rpl/src/rpl.h	2011/07/22 07:38:41	1.106
+++ rpl/src/rpl.h	2011/08/01 08:07:55	1.108
@@ -1,6 +1,6 @@
 /*
 ================================================================================
-  RPL/2 (R) version 4.1.1
+  RPL/2 (R) version 4.1.2
   Copyright (C) 1989-2011 Dr. BERTRAND Joël
 
   This file is part of RPL/2.
@@ -2292,6 +2292,7 @@ typedef struct fonction
 // BEGIN C PROTOTYPES
 void instruction_sensible_e(struct_processus *s_etat_processus);
 void instruction_sensible_i(struct_processus *s_etat_processus);
+void instruction_sensible_infinity(struct_processus *s_etat_processus);
 
 void instruction_abort(struct_processus *s_etat_processus);
 void instruction_abs(struct_processus *s_etat_processus);
@@ -2488,6 +2489,7 @@ void instruction_in(struct_processus *s_
 void instruction_incr(struct_processus *s_etat_processus);
 void instruction_indep(struct_processus *s_etat_processus);
 void instruction_input(struct_processus *s_etat_processus);
+void instruction_infinity(struct_processus *s_etat_processus);
 void instruction_inquire(struct_processus *s_etat_processus);
 void instruction_int(struct_processus *s_etat_processus);
 void instruction_interrupt(struct_processus *s_etat_processus);