From 094c8e254abde44d45097aca7a36203704fe2ef4 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 26 Apr 2019 17:20:20 +0100
Subject: Fix some broken interpreter tests

---
 lib/smt.sail | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib')

diff --git a/lib/smt.sail b/lib/smt.sail
index 4d250bef..f58c008f 100644
--- a/lib/smt.sail
+++ b/lib/smt.sail
@@ -6,6 +6,7 @@ $define _SMT
 /*! Euclidean division */
 val ediv_int = {
   ocaml: "quotient",
+  interpreter: "quotient",
   lem: "integerDiv",
   c: "ediv_int",
   coq: "ediv_with_eq"
@@ -13,6 +14,7 @@ val ediv_int = {
 
 val emod_int = {
   ocaml: "modulus",
+  interpreter: "modulus",
   lem: "integerMod",
   c: "emod_int",
   coq: "emod_with_eq"
@@ -20,6 +22,7 @@ val emod_int = {
 
 val abs_int = {
   ocaml: "abs_int",
+  interpreter: "abs_int",
   lem: "abs_int",
   c: "abs_int",
   coq: "abs_with_eq"
-- 
cgit v1.2.3