From e1ae915f648df0137d0f183f3b992583528184a7 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 7 May 2019 19:23:28 +0200
Subject: fix linking bug (my fault)

---
 mppa_k1c/Asmexpand.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml
index 58cfa4c8..db0ddd29 100644
--- a/mppa_k1c/Asmexpand.ml
+++ b/mppa_k1c/Asmexpand.ml
@@ -461,7 +461,7 @@ let expand_instruction instr =
       end else begin
         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);
+        expand_storeind_ptr stack_pointer stack_pointer (Ptrofs.add ofs below);
         (* DM we don't need it emit Psemi; *)
         vararg_start_ofs := None
       end
-- 
cgit