From 1dde0e2599d43b30fd9d5ba4dfb3e358ca232078 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 12 Feb 2002 10:05:51 +0000
Subject: pretty print

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

diff --git a/contrib/extraction/haskell.ml b/contrib/extraction/haskell.ml
index 0dcf58916a..04f201edd1 100644
--- a/contrib/extraction/haskell.ml
+++ b/contrib/extraction/haskell.ml
@@ -124,8 +124,8 @@ let rec pp_expr par env args =
 	  (hov 0 (open_par par' ++
 		  hov 2 (str "let" ++ spc () ++ pr_id (List.hd i) ++ 
 			 str " = " ++ pp_expr false env [] a1 ++ spc () ++ 
-			 str "in") 
-		  ++ spc () ++ pp_expr par2 env' [] a2 ++ close_par par'))
+			 str "in") ++
+		  spc () ++ hov 0 (pp_expr par2 env' [] a2) ++ close_par par'))
     | MLglob r -> 
 	apply (pp_global r)
     | MLcons (r,[]) ->
diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml
index c191317578..60b0b9689b 100644
--- a/contrib/extraction/ocaml.ml
+++ b/contrib/extraction/ocaml.ml
@@ -191,8 +191,8 @@ let rec pp_expr par env args =
 	apply 
 	  (hov 0 (open_par par' ++
 		  hov 2 (str "let " ++ pr_id (List.hd i) ++ str " =" ++ spc ()
-			 ++ pp_expr false env [] a1 ++ spc () ++ str "in") 
-		  ++ spc () ++ pp_expr par2 env' [] a2 ++ close_par par'))
+			 ++ pp_expr false env [] a1 ++ spc () ++ str "in") ++ 
+		  spc () ++ hov 0 (pp_expr par2 env' [] a2) ++ close_par par'))
     | MLglob r -> 
 	apply (pp_global r)
     | MLcons (r,[]) ->
-- 
cgit v1.2.3