From 213af2faacf3945bb8d67a53e635531331a0c1a5 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 18 Sep 2003 18:42:44 +0000
Subject: Niveau du 'as' des motifs

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

diff --git a/translate/ppconstrnew.ml b/translate/ppconstrnew.ml
index 21486e5110..ec1405f76a 100644
--- a/translate/ppconstrnew.ml
+++ b/translate/ppconstrnew.ml
@@ -108,7 +108,7 @@ let pr_name = function
 
 let pr_located pr (loc,x) = pr x
 
-let las = 2
+let las = 12
 
 let rec pr_patt inh p =
   let (strm,prec) = match p with
-- 
cgit v1.2.3