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