From 5b4e169dada3cc5c9fd88b797291cfffb9518da2 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 16 Jan 2003 21:13:16 +0000
Subject: Bugs affichage

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3517 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 syntax/PPCases.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'syntax')

diff --git a/syntax/PPCases.v b/syntax/PPCases.v
index f8d80fd1be..b25b17e61a 100644
--- a/syntax/PPCases.v
+++ b/syntax/PPCases.v
@@ -81,7 +81,7 @@ Syntax constr
   (* On force les parenthèses autour d'un "if" sous-terme (même si le
      parsing est lui plus tolérant) *)
   level 10:
-    boolean_cases [ << (FORCEIF $pred $tomatch (EQN $c1 $_) (EQN $c2 $_)) >> ]
+    boolean_cases [ << (FORCEIF $pred $tomatch $c1 $c2) >> ]
       -> [ [<hov 0> (ELIMPRED $pred)
               [<hv 0> "if " [<hov 0> $tomatch:L ]
                       [1 0] [<hov 0> "then" [1 1] $c1:L ]
-- 
cgit v1.2.3