From 34f5b0b4adce95d8eebc7f8667e841c4d4022067 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 12 Jan 2007 23:24:02 +0000
Subject: un saut de ligne ...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9483 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/ocaml.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml
index 46b98dba5c..547ad73e83 100644
--- a/contrib/extraction/ocaml.ml
+++ b/contrib/extraction/ocaml.ml
@@ -417,8 +417,10 @@ let pp_one_ind prefix ip ip_equiv pl cv =
 
 let pp_logical_ind packet = 
   pp_comment (pr_id packet.ip_typename ++ str " : logical inductive") ++ 
-  fnl () ++ pp_comment (str "with constructors : " ++ 
-			prvect_with_sep spc pr_id packet.ip_consnames)
+  fnl () ++
+  pp_comment (str "with constructors : " ++ 
+	      prvect_with_sep spc pr_id packet.ip_consnames) ++
+  fnl ()
 
 let pp_singleton kn packet = 
   let l = rename_tvars keywords packet.ip_vars in 
-- 
cgit v1.2.3