diff options
Diffstat (limited to 'test/c/stack_struct.sail')
| -rw-r--r-- | test/c/stack_struct.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/c/stack_struct.sail b/test/c/stack_struct.sail index c5c79a81..5dd0caeb 100644 --- a/test/c/stack_struct.sail +++ b/test/c/stack_struct.sail @@ -1,6 +1,6 @@ default Order dec -type bits ('n : Int) = vector('n, dec, bit) +type bits ('n : Int) = bitvector('n, dec) union option ('a : Type) = { Some : 'a, |