--- rpl/src/rpl.h	2011/08/09 11:31:36	1.111
+++ rpl/src/rpl.h	2011/08/29 07:43:02	1.112
@@ -2708,6 +2708,7 @@ void instruction_sqlquery(struct_process
 void instruction_sqrt(struct_processus *s_etat_processus);
 void instruction_sr(struct_processus *s_etat_processus);
 void instruction_srb(struct_processus *s_etat_processus);
+void instruction_srev(struct_processus *s_etat_processus);
 void instruction_sst(struct_processus *s_etat_processus);
 void instruction_star_d(struct_processus *s_etat_processus);
 void instruction_star_h(struct_processus *s_etat_processus);