diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/vector_dec.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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", |