diff options
Diffstat (limited to 'src/pretty_print_sail.ml')
| -rw-r--r-- | src/pretty_print_sail.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml index c53d30b4..e585a8f1 100644 --- a/src/pretty_print_sail.ml +++ b/src/pretty_print_sail.ml @@ -42,6 +42,7 @@ open Ast open Ast_util +open Big_int open PPrint open Pretty_print_common @@ -88,7 +89,7 @@ let doc_lit (L_aux(l,_)) = | L_one -> "bitone" | L_true -> "true" | L_false -> "false" - | L_num i -> string_of_int i + | L_num i -> string_of_big_int i | L_hex n -> "0x" ^ n | L_bin n -> "0b" ^ n | L_real r -> r |