--- rpl/src/rpl.h	2017/07/30 22:00:22	1.312
+++ rpl/src/rpl.h	2017/07/31 12:03:30	1.313
@@ -1779,6 +1779,7 @@ typedef struct instruction_externe
 	unsigned char		*nom;
 	unsigned char		*nom_bibliotheque;
 	void				*descripteur_bibliotheque;
+	integer8			position_fleche;
 } struct_instruction_externe;