From 66180a27fa62c4de9fb2c6c85058ca5b17f48e4b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 23 Jun 2003 21:32:50 +0000
Subject: Formattage pattern 'match'

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4200 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 dcaa82e70e..f8af132561 100644
--- a/translate/ppconstrnew.ml
+++ b/translate/ppconstrnew.ml
@@ -129,7 +129,7 @@ let rec pr_patt inh p =
 let pr_eqn pr (_,pl,rhs) =
   spc() ++ hov 4
     (str "| " ++
-     hv 0 (prlist_with_sep sep_v (pr_patt ltop) pl ++ str " =>") ++
+     hov 0 (prlist_with_sep sep_v (pr_patt ltop) pl ++ str " =>") ++
      spc() ++ pr ltop rhs)
 
 
-- 
cgit v1.2.3