diff options
Diffstat (limited to 'test/c/bitvector.sail')
| -rw-r--r-- | test/c/bitvector.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/c/bitvector.sail b/test/c/bitvector.sail index 8a80234e..ba23b2cc 100644 --- a/test/c/bitvector.sail +++ b/test/c/bitvector.sail @@ -2,7 +2,7 @@ default Order dec $include <vector_dec.sail> -val test : (vector(16, dec, bit), vector(200, dec, bit)) -> bool +val test : (bitvector(16, dec), bitvector(200, dec)) -> bool function test (x, y) = { print_bits("x = ", x); |