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

---
 runtime/c/write_profiling_table.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'runtime')

diff --git a/runtime/c/write_profiling_table.c b/runtime/c/write_profiling_table.c
index 3c7303e4..60bae3d7 100644
--- a/runtime/c/write_profiling_table.c
+++ b/runtime/c/write_profiling_table.c
@@ -46,5 +46,5 @@ void _compcert_write_profiling_table(unsigned int nr_items,
     perror("write CompCert profiling data");
     return;
   }
-  //fprintf(stderr, "no error\n");
+  fprintf(stderr, "write CompCert profiling data: no error\n");
 }
-- 
cgit