From 22aff19aeea53719004cca2b5c6b25d0a7ed0835 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Mon, 11 Jun 2018 16:28:07 +0100
Subject: actually fix exist_pattern test

---
 lib/vector_dec.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/vector_dec.sail b/lib/vector_dec.sail
index d9b80b32..ad59f50e 100644
--- a/lib/vector_dec.sail
+++ b/lib/vector_dec.sail
@@ -5,7 +5,7 @@ $include <flow.sail>
 
 type bits ('n : Int) = vector('n, dec, bit)
 
-val "eq_bit" : (bit, bit) -> bool
+val eq_bit = { lem : "eq", _ : "eq_bit" } : (bit, bit) -> bool
 
 val eq_bits = {
   ocaml: "eq_list",
-- 
cgit v1.2.3