From 215121fb4b8676d1b8a038c66c0690388a9e8e8c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 20 Nov 2002 20:36:08 +0000
Subject: Correction des priorités des TOMATCH

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3259 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 syntax/PPCases.v | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

(limited to 'syntax')

diff --git a/syntax/PPCases.v b/syntax/PPCases.v
index 356f6b2149..f8d80fd1be 100644
--- a/syntax/PPCases.v
+++ b/syntax/PPCases.v
@@ -9,10 +9,10 @@
 (* $Id$ *)
 
 Syntax constr
-  level 0:
-    ne_command_listcons2 [ << (NECOMMANDLIST2 $c1 ($LIST $cl)) >> ]
-      -> [ $c1:L [1 0] (NECOMMANDLIST2 ($LIST $cl)) ]
-  | ne_command_listone2 [ << (NECOMMANDLIST2 $c1) >> ] -> [$c1:L]
+  level 8:
+    tomatch_cons [ << (TOMATCH $c1 ($LIST $cl)) >> ]
+      -> [ $c1:L [1 0] (TOMATCH ($LIST $cl)) ]
+  | tomatch_one [ << (TOMATCH $c1) >> ] -> [$c1:L]
   ;
 
   level 10:
@@ -36,8 +36,6 @@ Syntax constr
       -> [ "| " $eqn [1 0] (BAREQNLIST ($LIST $leqn)) ]
   | bar_eqnlist_one [ << (BAREQNLIST $eqn) >> ]
       -> [ "| " $eqn ]
-
-  | tomatch [ << (TOMATCH ($LIST $lc)) >> ] -> [(NECOMMANDLIST2 ($LIST $lc)):E]
   ;
 
   level 10:
-- 
cgit v1.2.3