diff options
Diffstat (limited to 'kvx/Asmexpand.ml')
-rw-r--r-- | kvx/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kvx/Asmexpand.ml b/kvx/Asmexpand.ml index 35c980bb..f84cf22d 100644 --- a/kvx/Asmexpand.ml +++ b/kvx/Asmexpand.ml @@ -517,8 +517,8 @@ let expand_instruction instr = end else begin let below = Integers.Ptrofs.repr (Z.neg sz) in expand_addptrofs stack_pointer stack_pointer below; - emit Psemi; (* Psemi required to fit in resource constraints *) expand_storeind_ptr stack_pointer stack_pointer (Integers.Ptrofs.add ofs below); + emit Psemi; (* Psemi required to fit in resource constraints *) vararg_start_ofs := None end | Pfreeframe (sz, ofs) -> |