diff options
| author | Robert Norton | 2017-04-21 17:04:52 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-21 17:05:28 +0100 |
| commit | 70e9a92183b38c7b79c0ee66f0cae72c8578bd00 (patch) | |
| tree | 345748ec165e2f1251da8f77edd4f9f591815904 /src/rewriter.mli | |
| parent | a5d8b2dc56594c1c4d1f88b1017638b5eef69086 (diff) | |
it turns out zarith has a function for printing big_ints in hex. Remove the dependency on ocaml uint library by using it.
Diffstat (limited to 'src/rewriter.mli')
0 files changed, 0 insertions, 0 deletions