From 110bef3571a77fd8f1059827ea0bb29935ed785d Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Thu, 6 Jun 2019 16:27:06 +0100
Subject: Fix tdiv_int and tmod_int bindings for Lem

Also rename them for uniformity with other backends.
---
 lib/arith.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/arith.sail b/lib/arith.sail
index d04c7988..63c3168c 100644
--- a/lib/arith.sail
+++ b/lib/arith.sail
@@ -82,7 +82,7 @@ overload shr_int = {_shr32, _shr_int}
 val tdiv_int = {
   ocaml: "tdiv_int",
   interpreter: "tdiv_int",
-  lem: "integerDiv_t",
+  lem: "tdiv_int",
   c: "tdiv_int",
   coq: "Z.quot"
 } : (int, int) -> int
@@ -91,7 +91,7 @@ val tdiv_int = {
 val tmod_int = {
   ocaml: "tmod_int",
   interpreter: "tmod_int",
-  lem: "integerMod_t",
+  lem: "tmod_int",
   c: "tmod_int",
   coq: "Z.rem"
 } : (int, int) -> nat
-- 
cgit v1.2.3