From be20128a5a515fc37c6c9b04f20325e5ea587f59 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 19 May 2003 20:29:07 +0000
Subject: Affichage META

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

(limited to 'syntax')

diff --git a/syntax/PPConstr.v b/syntax/PPConstr.v
index 492c5cbbaa..e3ae94745a 100755
--- a/syntax/PPConstr.v
+++ b/syntax/PPConstr.v
@@ -51,7 +51,7 @@ Syntax constr
    deal with the duality CCI/FW) *)
 
   | evar [ ? ] -> ["?"]
-  | meta [ << (META ($NUM $n)) >> ] -> [ "?" $n ]
+  | meta [ << (META $n) >> ] -> [ "?" $n ]
   | implicit [ << (IMPLICIT) >> ] -> ["<Implicit>"]
   | indice [ << (REL ($NUM $n)) >> ] -> ["<Unbound ref: " $n ">"]
   | instantiation [ << (INSTANCE $a ($LIST $l)) >> ] ->
-- 
cgit v1.2.3