diff options
Diffstat (limited to 'src/pretty_print_sail.ml')
| -rw-r--r-- | src/pretty_print_sail.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml index a484bd1f..7544146e 100644 --- a/src/pretty_print_sail.ml +++ b/src/pretty_print_sail.ml @@ -103,6 +103,7 @@ let doc_lit (L_aux(l,_)) = | L_num i -> string_of_int i | L_hex n -> "0x" ^ n | L_bin n -> "0b" ^ n + | L_real r -> r | L_undef -> "undefined" | L_string s -> "\"" ^ s ^ "\"") |