diff options
| author | Jon French | 2019-03-04 14:23:55 +0000 |
|---|---|---|
| committer | Jon French | 2019-03-04 14:23:55 +0000 |
| commit | 94d40fb68bb3d36159a006b93909fc3841c92d28 (patch) | |
| tree | 219c6d0ae7daf47cd6c8897895d182916e8f3815 /lib/arith.sail | |
| parent | a7a3402ce155f13234d2d3e5198e5dbf6e0e8b82 (diff) | |
| parent | 9ed89583d52ccff151fb75424975f2ac4e627a1b (diff) | |
Merge branch 'sail2' into rmem_interpreter
Diffstat (limited to 'lib/arith.sail')
| -rw-r--r-- | lib/arith.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/arith.sail b/lib/arith.sail index 93500794..a1eef9f0 100644 --- a/lib/arith.sail +++ b/lib/arith.sail @@ -96,7 +96,7 @@ val mod_int = { lem: "integerMod", c: "tmod_int", coq: "Z.rem" -} : (int, int) -> int +} : (int, int) -> nat overload operator % = {mod_int} @@ -107,6 +107,6 @@ val abs_int = { lem: "abs_int", c: "abs_int", coq: "Z.abs" -} : (int, int) -> int +} : int -> int $endif |