From 1ff56d44750c654daedab1227bf9df02cd8eb102 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 29 Aug 2019 16:54:45 +0100
Subject: Turn the two abs_int declarations into overloads (otherwise Sail uses
 the type from one and the extern from the other)

---
 lib/arith.sail | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'lib/arith.sail')

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
-- 
cgit v1.2.3