From 7d15566ad116730c1452364bc0fe3d2dc714e5ed Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat, 11 Apr 2020 11:55:46 +0200
Subject: fix for k1c

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

(limited to 'mppa_k1c')

diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml
index 61fe5e90..da009a0d 100644
--- a/mppa_k1c/TargetPrinter.ml
+++ b/mppa_k1c/TargetPrinter.ml
@@ -816,7 +816,7 @@ module Target (*: TARGET*) =
       end
        
     let print_epilogue oc =
-      print_profiling_epilogue Dtors k1c_profiling_stub oc;
+      print_profiling_epilogue elf_text_print_fun_info Dtors k1c_profiling_stub oc;
       if !Clflags.option_g then begin
         Debug.compute_gnu_file_enum (fun f -> ignore (print_file oc f));
         section oc Section_text;
-- 
cgit