diff options
Diffstat (limited to 'test/c/pointer_assign.sail')
| -rw-r--r-- | test/c/pointer_assign.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/c/pointer_assign.sail b/test/c/pointer_assign.sail index e2e9e9ab..ff11ef58 100644 --- a/test/c/pointer_assign.sail +++ b/test/c/pointer_assign.sail @@ -12,7 +12,7 @@ let STATUS_2 = 0x0000_0004 val read_register = "reg_deref" : forall ('a : Type). register('a) -> 'a effect {rreg} -val "or_bits" : forall 'n, 'n >= 0. (bits('n), bits('n)) -> bits('n) +val or_bits = { c: "or_bits", _: "or_vec" } : forall 'n, 'n >= 0. (bits('n), bits('n)) -> bits('n) overload operator | = {or_bits} |