From 7fc5222ef8daa887eab8a7d178a459c0c84d45f6 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 25 Feb 2019 14:53:57 +0000
Subject: Fix some builtins, and make mod_int return natural

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

(limited to 'lib/arith.sail')

diff --git a/lib/arith.sail b/lib/arith.sail
index 8825ac2f..20231de1 100644
--- a/lib/arith.sail
+++ b/lib/arith.sail
@@ -94,7 +94,7 @@ val mod_int = {
   lem: "integerMod",
   c: "tmod_int",
   coq: "Z.rem"
-} : (int, int) -> int
+} : (int, int) -> nat
 
 overload operator % = {mod_int}
 
@@ -104,6 +104,6 @@ val abs_int = {
   lem: "abs_int",
   c: "abs_int",
   coq: "Z.abs"
-} : (int, int) -> int
+} : int -> int
 
 $endif
-- 
cgit v1.2.3