1 files changed, 0 insertions, 4 deletions
diff --git a/PROBLEMES b/PROBLEMES
index c22a1c483..b03414a8c 100644
--- a/PROBLEMES
+++ b/PROBLEMES
@@ -32,10 +32,6 @@ plus sūr
 REPONSE PROVISOIRE: si c'est pour Specialize, faudrait en changer la
 syntaxe, elle est incompatible avec L_tac.
 
-Associativite Repeat Orelse changee
-	Repeat A Orelse B se lit (Repeat A) Orelse B 
-ce n'est pas malin car Repeat A n'echoue jamais
-
 CONTRIBS
 ---------
 BellLabs/lazyPCF : OK