--- rpl/LIMITATIONS	2012/12/17 21:22:43	1.96
+++ rpl/LIMITATIONS	2012/12/18 10:20:24	1.97
@@ -1,9 +1,6 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
-Vérifier que liste_variables() renvoie bien les variables partagées. Idem pour
-nombre_variables
-
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 EMSGSIZE dans les send() !