From 752ddc119002995e9c38a267dc690f5b8713f4b9 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 9 Sep 2016 14:54:19 +0100
Subject: minor fixes

---
 src/lem_interp/interp_interface.lem | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/lem_interp/interp_interface.lem')

diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem
index 5473e1a0..2850332e 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -201,8 +201,8 @@ instance (Ord byte)
   let (>=) = byteGreaterEq
 end
 
-let ~{ocaml} addressCompare (Address b1 i1) (Address b2 i2) = compare i1 i2
-let inline {ocaml} addressCompare = defaultCompare
+let (*~{ocaml}*) addressCompare (Address b1 i1) (Address b2 i2) = compare i1 i2
+(*let inline {ocaml} addressCompare = defaultCompare*)
 
 let ~{ocaml} addressLess b1 b2      = addressCompare b1 b2 =  LT
 let ~{ocaml} addressLessEq b1 b2    = addressCompare b1 b2 <> GT
-- 
cgit v1.2.3