diff options
| author | Gabriel Kerneis | 2013-12-19 16:09:41 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-12-19 16:13:57 +0000 |
| commit | 093550b39e7331179cbdae913021be27f11e4153 (patch) | |
| tree | d042eb348b5ef73fe28851cf81d2d3442091908c /src/pretty_print.ml | |
| parent | 663ce94aded2c08fb5cc146fe18eaa6a4448e3ce (diff) | |
pretty-print: missing quotes for num literals (lem)
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 34cfb3b8..4a27d523 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -474,8 +474,8 @@ let pp_format_lit_lem (L_aux(l,_)) = | L_true -> "L_true" | L_false -> "L_false" | L_num(i) -> "(L_num " ^ string_of_int i ^ ")" - | L_hex(n) -> "(L_hex " ^ n ^ ")" - | L_bin(n) -> "(L_bin " ^ n ^ ")" + | L_hex(n) -> "(L_hex \"" ^ n ^ "\")" + | L_bin(n) -> "(L_bin \"" ^ n ^ "\")" | L_undef -> "L_undef" | L_string(s) -> "(L_string \"" ^ s ^ "\")" |