From a8f082f35f19467593ded44a484390a659b0a183 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 11 Apr 2018 18:37:16 +0100
Subject: Fix test prelude

---
 test/mono/varmatch.sail | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/test/mono/varmatch.sail b/test/mono/varmatch.sail
index c3c2994d..479abea2 100644
--- a/test/mono/varmatch.sail
+++ b/test/mono/varmatch.sail
@@ -1,5 +1,8 @@
-val operator & = "and_bool" : (bool, bool) -> bool
-val operator == = {ocaml: "(fun (x, y) -> x = y)", lem: "eq"} : forall ('a : Type). ('a, 'a) -> bool
+$include <flow.sail>
+
+val eq_all = {ocaml: "(fun (x, y) -> x = y)", lem: "eq"} : forall ('a : Type). ('a, 'a) -> bool
+overload operator == = {eq_all}
+
 
 /* Check that when we case split on a variable that the constant propagation
    handles the default case correctly. */
-- 
cgit v1.2.3