diff options
| author | Robert Norton | 2017-04-19 10:35:59 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-20 11:06:05 +0100 |
| commit | c37cbdc7916671030f2afacba351c6c0e9b3468f (patch) | |
| tree | decdfbd71a6071a8c59fb29f764cdfefa02f9709 | |
| parent | 1cbb200c31a5000add90016502afa471ed45e82f (diff) | |
use mangled field name when accessing record field.
| -rw-r--r-- | src/pretty_print_ocaml.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print_ocaml.ml b/src/pretty_print_ocaml.ml index dc8fdb19..899a6caf 100644 --- a/src/pretty_print_ocaml.ml +++ b/src/pretty_print_ocaml.ml @@ -280,7 +280,7 @@ let doc_exp_ocaml, doc_let_ocaml = string "get_register_field_bit" | _ -> string "get_register_field_vec" in parens (field_f ^^ space ^^ (exp fexp) ^^ space ^^ string_lit (doc_id id)) - | _ -> exp fexp ^^ dot ^^ doc_id id) + | _ -> exp fexp ^^ dot ^^ doc_id_ocaml id) | E_block [] -> string "()" | E_block exps | E_nondet exps -> let exps_doc = separate_map (semi ^^ hardline) exp exps in |