Turn the two abs_int declarations into overloads

(otherwise Sail uses the type from one and the extern from the other)

1 files changed, 3 insertions, 1 deletions

diff --git a/lib/arith.sail b/lib/arith.sail
index 7c002e1c..6b064433 100644
--- a/lib/arith.sail
+++ b/lib/arith.sail
@@ -96,7 +96,7 @@ val tmod_int = {
   coq: "Z.rem"
 } : (int, int) -> nat
 
-val abs_int = {
+val abs_int_plain = {
   smt : "abs",
   ocaml: "abs_int",
   interpreter: "abs_int",
@@ -105,4 +105,6 @@ val abs_int = {
   coq: "Z.abs"
 } : int -> int
 
+overload abs_int = {abs_int_plain}
+
 $endif