diff options
Diffstat (limited to 'mppa_k1c')
| -rw-r--r-- | mppa_k1c/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml index 94846793..58cfa4c8 100644 --- a/mppa_k1c/Asmexpand.ml +++ b/mppa_k1c/Asmexpand.ml @@ -462,7 +462,7 @@ let expand_instruction instr = let below = Ptrofs.repr (Z.neg sz) in expand_addptrofs stack_pointer stack_pointer below; expand_storeind_ptr Asmvliw.GPR17 stack_pointer (Ptrofs.add ofs below); - emit Psemi; + (* DM we don't need it emit Psemi; *) vararg_start_ofs := None end | Pfreeframe (sz, ofs) -> |