diff options
| author | Alasdair Armstrong | 2017-08-02 14:55:11 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-02 14:55:11 +0100 |
| commit | 8c8c08bc34ebc1bbd9169ce1db13ec5960f96e79 (patch) | |
| tree | 7871cdd6b3854a6e4e4437e8d293197f23cc5d31 /src/pretty_print_ocaml.ml | |
| parent | f22859d797943409b49f098d17fa76eb92419640 (diff) | |
| parent | b63df3a5806c33401f03a8e9eb33fc3291872105 (diff) | |
Merge remote-tracking branch 'origin/sail_new_tc' into experiments
Diffstat (limited to 'src/pretty_print_ocaml.ml')
| -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 4f2c3ab0..66252d94 100644 --- a/src/pretty_print_ocaml.ml +++ b/src/pretty_print_ocaml.ml @@ -237,7 +237,7 @@ let doc_exp_ocaml, doc_let_ocaml = doc_op coloneq (doc_lexp_ocaml true le) (exp e) | LEXP_vector _ -> doc_op (string "<-") (doc_lexp_array_ocaml le) (exp e) - | LEXP_vector_range _ -> + | LEXP_vector_range _ | LEXP_field _ -> doc_lexp_rwrite le e) else (match le_act with |