diff options
| author | Thomas Bauereiss | 2019-06-12 17:48:05 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-06-12 17:48:19 +0100 |
| commit | 4b83ad134a472159f730a015187f036104ff35fd (patch) | |
| tree | d662a7716b840567fcc3592d3b7dd36c6788c6b6 /lib/arith.sail | |
| parent | d61140c5a922d8781356aa874a2fe2a7a36ed0ee (diff) | |
Fix Lem binding for abs_int
Diffstat (limited to 'lib/arith.sail')
| -rw-r--r-- | lib/arith.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/arith.sail b/lib/arith.sail index 63c3168c..7c002e1c 100644 --- a/lib/arith.sail +++ b/lib/arith.sail @@ -100,7 +100,7 @@ val abs_int = { smt : "abs", ocaml: "abs_int", interpreter: "abs_int", - lem: "abs_int", + lem: "integerAbs", c: "abs_int", coq: "Z.abs" } : int -> int |