From 9bb7ef189f5197c46d9e6990df0bb099dd5c55e5 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 26 Nov 2002 15:13:26 +0000
Subject: Correction affichage entiers en cas d'échec

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

diff --git a/theories/ZArith/Zsyntax.v b/theories/ZArith/Zsyntax.v
index f2f5f39490..68cb6dd54d 100644
--- a/theories/ZArith/Zsyntax.v
+++ b/theories/ZArith/Zsyntax.v
@@ -212,8 +212,10 @@ Syntax constr
 
   level 0:
     ZZero_inside [ << (ZEXPR <<ZERO>>) >> ] -> ["0"]
-  | ZPos_inside [ << (ZEXPR <<(POS $p)>>) >>] -> [$p:"positive_printer_inside"]
-  | ZNeg_inside [ << (ZEXPR <<(NEG $p)>>) >>] -> [$p:"negative_printer_inside"]
+  | ZPos_inside [ << (ZEXPR <<(POS $p)>>) >>] -> 
+      [$p:"positive_printer_inside":9]
+  | ZNeg_inside [ << (ZEXPR <<(NEG $p)>>) >>] ->
+      [$p:"negative_printer_inside":9]
 .
 
 (* For parsing/printing based on scopes *)
-- 
cgit v1.2.3