--- rpl/LIMITATIONS	2013/03/05 16:26:46	1.103
+++ rpl/LIMITATIONS	2013/03/06 13:21:23	1.105
@@ -6,26 +6,6 @@ transformer le semop en non bloquant).
 
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
-evaluation-conv.c:5888:64: warning: ‘registre_erreur_systeme’ may be used
-uninitialized in this function [-Wuninitialized]
-evaluation-conv.c:5890:59: warning: ‘registre_exception’ may be used
-uninitialized in this function [-Wuninitialized]
-evaluation-conv.c:5886:66: warning: ‘registre_erreur_execution’ may be used
-uninitialized in this function [-Wuninitialized]
-
-
-BUG :
-toto
-<<
-	// truc qui fait une erreur
->>
-
-{ } forall
-	'toto' eval
-next
-
-EMSGSIZE dans les send() !
-
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
 SOCKET NON FORMATÉS
 
@@ -46,8 +26,6 @@ avec un trylock()).
 
 rplss signal processus
 
-Rajouter le format dans formateur_flux() (pour les fichiers de type flow).
-
 Économisons notre mépris eut égard au nombre de nécessiteux.
 Chateaubriand.