diff options
Diffstat (limited to 'src')
| -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 |