Fix test prelude

1 files 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. */