diff options
| author | Robert Norton | 2017-05-17 14:41:36 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-05-24 10:56:59 +0100 |
| commit | a6c4b61f4ae06845663eb06b2a0efc98a42ccac3 (patch) | |
| tree | 1ee72b0e70ccd688fc68bf146f35804a2614e1ee /src/pretty_print_lem.ml | |
| parent | fffcaaa390eaf03db689d0f108cc00653a41885d (diff) | |
it turns out that Zarith has a divide function which does truncation towards zero but it is not exposed via Bit_int_Z. Use it instead of rolling our own. Also ocaml / and mod already do the right thing.
Diffstat (limited to 'src/pretty_print_lem.ml')
0 files changed, 0 insertions, 0 deletions