From 50d59f7ab7ae06de2ae6439752f0b56695d539df Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 10 Apr 2020 20:55:44 +0200
Subject: fix writing profiling info for Aarch64

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

(limited to 'mppa_k1c/TargetPrinter.ml')

diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml
index 71979705..61fe5e90 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 dtor_section k1c_profiling_stub oc;
+      print_profiling_epilogue 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