diff options
| author | Kathy Gray | 2015-10-06 17:03:48 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-10-06 17:03:58 +0100 |
| commit | b76ae6140d79b08359ef7ad27295b7fa2f415bd8 (patch) | |
| tree | b839cfa6c094e62d79241ab7706ebf6e2cd0a18b /src/pretty_print.ml | |
| parent | d7506569978bbae96383cf6d606b049a52c63f02 (diff) | |
better printing for register writing, whole register (maybe not "right" yet)
more library
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 068f16a2..310ca9d4 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -1546,7 +1546,7 @@ let doc_exp_ocaml, doc_let_ocaml = | Alias_pair(reg1,reg2) -> parens ((string "set_two_regs") ^^ space ^^ string reg1 ^^ space ^^ string reg2 ^^ space ^^ exp e_new_v)) | _ -> - doc_id_ocaml id) + parens (string "set_named_register" ^^ space ^^ string_lit (doc_id_ocaml id) ^^ space ^^ (exp e_new_v))) and doc_lexp_fcall ((LEXP_aux(lexp,(l,annot))) as le) e_new_v = match lexp with | LEXP_memory(id,args) -> doc_id_ocaml id ^^ parens (separate_map comma exp (args@[e_new_v])) |