diff options
| author | Alasdair Armstrong | 2017-07-18 13:29:18 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-18 13:29:18 +0100 |
| commit | 4292253f88774f343b6643f36ec7d3cb3abd0529 (patch) | |
| tree | 2313190425d3a71f92bb5a3491e801291e87d98e /src/pretty_print_sail.ml | |
| parent | a8bbfe826d46929450d022c37ac3c6a005340994 (diff) | |
Added pretty-printing support for real literals
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 ^ "\"") |