diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-08 16:28:00 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-08 16:28:00 +0200 |
| commit | 96165dbec88ab4c951d99e64e51f5c55a1244137 (patch) | |
| tree | 86110cecc1b97e39f2f8e5d58e228dd1dd10a1c5 /runtime | |
| parent | da923568ad5085654b8db034310c4db50848e16e (diff) | |
| download | compcert-kvx-96165dbec88ab4c951d99e64e51f5c55a1244137.tar.gz compcert-kvx-96165dbec88ab4c951d99e64e51f5c55a1244137.zip | |
fixed a bug in support libraries; reload profiling info
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 54044016..5c55c4b6 100644 --- a/runtime/c/write_profiling_table.c +++ b/runtime/c/write_profiling_table.c @@ -18,7 +18,7 @@ static void write_counter(FILE *fp, uint64_t counter) { putc(BYTE(counter, 4), fp); putc(BYTE(counter, 5), fp); putc(BYTE(counter, 6), fp); - putc(BYTE(counter, 8), fp); + putc(BYTE(counter, 7), fp); } void _compcert_write_profiling_table(unsigned int nr_items, |