diff options
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, |