Update aarch64 no vector monomorphisation source for current type checker

1 files changed, 2 insertions, 2 deletions

diff --git a/aarch64/mono/demo/aarch64_no_vector/aarch64_no_vector.sail b/aarch64/mono/demo/aarch64_no_vector/aarch64_no_vector.sail
index 202f69ac..22b1e3a1 100644
--- a/aarch64/mono/demo/aarch64_no_vector/aarch64_no_vector.sail
+++ b/aarch64/mono/demo/aarch64_no_vector/aarch64_no_vector.sail
@@ -6986,7 +6986,7 @@ function __TakeColdReset () = {
 val AArch64_TakeException : (bits(2), ExceptionRecord, bits(64), int) -> unit effect {escape, rreg, undef, wreg}
 
 function AArch64_TakeException (target_el, exception, preferred_exception_return, vect_offset__arg) = {
-  vect_offset = vect_offset__arg;
+  vect_offset : int = vect_offset__arg;
   SynchronizeContext();
   assert((HaveEL(target_el) & ~(ELUsingAArch32(target_el))) & UInt(target_el) >= UInt(PSTATE.EL), "((HaveEL(target_el) && !(ELUsingAArch32(target_el))) && (UInt(target_el) >= UInt((PSTATE).EL)))");
   from_32 : bool = UsingAArch32();
@@ -8509,7 +8509,7 @@ val aarch64_memory_vector_single_nowb : forall ('datasize : Int) ('esize : Int)
 
 function aarch64_memory_vector_single_nowb (datasize, esize, index, m, memop, n, replicate, selem, t__arg, wback) = {
   assert(constraint('datasize >= 0 & 'selem >= 1 & 'esize >= 0));
-  t = t__arg;
+  t : int = t__arg;
   CheckFPAdvSIMDEnabled64();
   address : bits(64) = undefined;
   offs : bits(64) = undefined;