diff options
Diffstat (limited to 'runtime/libprofile')
-rw-r--r-- | runtime/libprofile/CommonProfiling.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/libprofile/CommonProfiling.c b/runtime/libprofile/CommonProfiling.c index ea795b6..e5cfbe3 100644 --- a/runtime/libprofile/CommonProfiling.c +++ b/runtime/libprofile/CommonProfiling.c @@ -78,5 +78,6 @@ void write_profiling_data(enum ProfilingType PT, unsigned *Start, /* Write out this record! */ PTy = PT; write(OutFile, &PTy, sizeof(int)); + write(OutFile, &NumElements, sizeof(unsigned)); write(OutFile, Start, NumElements*sizeof(unsigned)); } |