Rename some functions in vector_dec library file to avoid clashes with functions in mips spec in prepartion for using this file in mips prelude. Also modify tests that use this header. We should consider prefixing library builtins to avoid name clashes. overload can then be used to provide aliases if desired.

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