diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-09-14 10:49:12 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-09-14 10:49:12 +0200 |
commit | e7a6aff95cc37806aeb4637c40ff46a8c41a2b49 (patch) | |
tree | da7a2b7c6eb8de35e095f9d9594ef633bc64dfda /driver/Timing.ml | |
parent | 9c104c8d0a7e04ed2339ccd0c18600e479351a00 (diff) | |
download | compcert-e7a6aff95cc37806aeb4637c40ff46a8c41a2b49.tar.gz compcert-e7a6aff95cc37806aeb4637c40ff46a8c41a2b49.zip |
Fix uninitialized array in do_bench (report by V. Laporte).
Diffstat (limited to 'driver/Timing.ml')
0 files changed, 0 insertions, 0 deletions