diff options
| author | Robert Norton | 2016-05-10 10:51:56 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-10 10:51:56 +0100 |
| commit | 1877e8051dd9865f98df810550014537cf42a744 (patch) | |
| tree | 4914eb1abddd28256a49792a559e790f1e91c1a2 /src/finite_map.ml | |
| parent | 1436e658046c21e6f4435289c20a69174aee13de (diff) | |
calculate signed modulus using quot as ocaml and mips disagree about what the result should be (specifically for x mod y, x<0 & y<0).
Diffstat (limited to 'src/finite_map.ml')
0 files changed, 0 insertions, 0 deletions