diff options
Diffstat (limited to 'test/c/struct.sail')
| -rw-r--r-- | test/c/struct.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/c/struct.sail b/test/c/struct.sail index f3f2b071..21484c6a 100644 --- a/test/c/struct.sail +++ b/test/c/struct.sail @@ -1,10 +1,10 @@ default Order dec -val "print_bits" : forall 'n. (string, vector('n, dec, bit)) -> unit +val "print_bits" : forall 'n. (string, bitvector('n, dec)) -> unit struct test = { - A : vector(4, dec, bit), - B : vector(2, dec, bit), + A : bitvector(4, dec), + B : bitvector(2, dec), } function main (() : unit) -> unit = { |