diff options
| -rw-r--r-- | contrib/extraction/haskell.ml | 4 | ||||
| -rw-r--r-- | 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,[]) -> |