Correction associativite de Repeat/Orelse

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1151 85f007b7-540e-0410-9357-904b9bb8a0f7

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