diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-10 18:09:34 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-10 18:09:34 +0200 |
commit | b19b9defebf96ba8599f481d4c617d43c21642ef (patch) | |
tree | 364f8dcb7c689af5453e405878528b5a1d839ba7 /runtime | |
parent | 5659daa886559566fdb6306d989578707838a267 (diff) | |
download | compcert-kvx-b19b9defebf96ba8599f481d4c617d43c21642ef.tar.gz compcert-kvx-b19b9defebf96ba8599f481d4c617d43c21642ef.zip |
use proper local labels
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/c/write_profiling_table.c | 2 |
1 files changed, 1 insertions, 1 deletions
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"); } |