diff options
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 310ca9d4..b9d4fa2c 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -1482,7 +1482,7 @@ let doc_exp_ocaml, doc_let_ocaml = match annot with | Base((_,t),External(Some name),_,_,_) -> string name | _ -> doc_id_ocaml id in - separate space [call; parens (separate_map comma exp [e1;e2])] + parens (separate space [call; parens (separate_map comma exp [e1;e2])]) | E_internal_let(lexp, eq_exp, in_exp) -> separate space [string "let"; doc_lexp_ocaml lexp; (*Rewriter/typecheck should ensure this is only cast or id*) |