diff options
| author | Robert Norton | 2017-05-08 12:32:44 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-05-08 15:29:55 +0100 |
| commit | 33a529617d6f69651241b768c9cd9d1316a66466 (patch) | |
| tree | 0bcb4be21d71ba11420eb95c9d3c6c73bdb79e8b /src/pretty_print_ocaml.ml | |
| parent | d2af0123ca980b9f846db01dd1c1b44202afcb8e (diff) | |
put failwith in brackets to avoid parse error.
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 c8c0bb86..94c524c2 100644 --- a/src/pretty_print_ocaml.ml +++ b/src/pretty_print_ocaml.ml @@ -135,7 +135,7 @@ let doc_lit_ocaml in_pat (L_aux(l,_)) = "(big_int_of_int (" ^ s ^ "))" | L_hex n -> "(num_to_vec " ^ ("0x" ^ n) ^ ")" (*shouldn't happen*) | L_bin n -> "(num_to_vec " ^ ("0b" ^ n) ^ ")" (*shouldn't happen*) - | L_undef -> "failwith \"undef literal not supported\"" (* XXX Undef vectors get handled with to_vec_undef. We could support undef bit but would need to check type. For the moment treat as runtime error. *) + | L_undef -> "(failwith \"undef literal not supported\")" (* XXX Undef vectors get handled with to_vec_undef. We could support undef bit but would need to check type. For the moment treat as runtime error. *) | L_string s -> "\"" ^ s ^ "\"") (* typ_doc is the doc for the type being quantified *) |