diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/vectors.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/vectors.sail b/src/test/vectors.sail index f1fc6199..244beaff 100644 --- a/src/test/vectors.sail +++ b/src/test/vectors.sail @@ -7,7 +7,7 @@ register nat match_success function unit decode ([bitzero, bitzero, bitone, bitzero]) = match_success := 1 and decode x = match_success := x -function unit main _ = { +function bit main _ = { i := [bitzero, bitzero, bitone, bitzero]; |