diff options
Diffstat (limited to 'lib')
| -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 |