diff options
| author | Kathy Gray | 2015-10-07 14:54:04 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-10-07 14:54:04 +0100 |
| commit | 09bee21b4390c82c4fa36ade46d67247e82c9546 (patch) | |
| tree | 41d39e0369edb1f96fe7faf62f7e7e9b265f6103 /src/pretty_print.ml | |
| parent | b76ae6140d79b08359ef7ad27295b7fa2f415bd8 (diff) | |
start changing representation of registers for ocaml
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*) |