diff options
| author | Jon French | 2018-09-14 15:20:46 +0100 |
|---|---|---|
| committer | Jon French | 2018-09-14 15:20:46 +0100 |
| commit | 9f1b822cb91e17741d6f11a87a374e28ded2960a (patch) | |
| tree | fa24d00e75c82edf0aa79a73041df8dc18a7d8f1 /lib/prelude.sail | |
| parent | 22ed9657ac5d8d1a06602ca8c6cf359786f03254 (diff) | |
Sail_lib.string_of_bits: print in decimal (properly, with bigints) rather than binary
Diffstat (limited to 'lib/prelude.sail')
0 files changed, 0 insertions, 0 deletions