From b19b9defebf96ba8599f481d4c617d43c21642ef Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 10 Apr 2020 18:09:34 +0200
Subject: use proper local labels

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

(limited to 'aarch64/TargetPrinter.ml')

diff --git a/aarch64/TargetPrinter.ml b/aarch64/TargetPrinter.ml
index 0eaf3923..9d605336 100644
--- a/aarch64/TargetPrinter.ml
+++ b/aarch64/TargetPrinter.ml
@@ -230,7 +230,7 @@ module Target : TARGET =
     let next_profiling_label =
       let atomic_incr_counter = ref 0 in
       fun () ->
-      let r = sprintf ".compcert_atomic_incr%d" !atomic_incr_counter in
+      let r = sprintf ".Lcompcert_atomic_incr%d" !atomic_incr_counter in
       incr atomic_incr_counter; r;;
                 
     let print_profiling_logger oc id kind =
-- 
cgit