diff options
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 4 |
1 files changed, 2 insertions, 2 deletions
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 |