diff options
Diffstat (limited to 'test/ocaml/vec_32_64/vec_32_64.sail')
| -rw-r--r-- | test/ocaml/vec_32_64/vec_32_64.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/ocaml/vec_32_64/vec_32_64.sail b/test/ocaml/vec_32_64/vec_32_64.sail index ac44d9ae..5dc58cc3 100644 --- a/test/ocaml/vec_32_64/vec_32_64.sail +++ b/test/ocaml/vec_32_64/vec_32_64.sail @@ -12,12 +12,12 @@ val main : unit -> unit function main () = { let 'len = get_size (); - let xs = zeros(len); + let xs = sail_zeros(len); if (len == 32) then { () } else { only64(xs) }; print_bits("xs = ", xs); - print_bits("zeros(64) = ", zeros(64)) + print_bits("zeros(64) = ", sail_zeros(64)) }
\ No newline at end of file |