From 368e8b200d53611ca145c63a876a6d37fcf5acaf Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 30 Jan 2018 15:06:20 +0000
Subject: Fix failing Lem tests

---
 lib/flow.sail | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'lib')

diff --git a/lib/flow.sail b/lib/flow.sail
index cb7b1b99..2ca0e1a8 100644
--- a/lib/flow.sail
+++ b/lib/flow.sail
@@ -25,6 +25,10 @@ val lteq_atom_range = "lteq" : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> boo
 val gt_atom_range = "gt"     : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> bool
 val gteq_atom_range = "gteq" : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> bool
 
+val eq_int = {ocaml: "eq_int", lem: "eq"} : (int, int) -> bool
+
+overload operator == = {eq_atom, eq_int}
+
 $ifdef TEST
 
 val __flow_test : forall 'n 'm. (atom('n), atom('m)) -> unit
-- 
cgit v1.2.3