diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-12 12:58:40 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-12 12:58:40 +0100 |
| commit | 3dab0dce340fd6de7bd31f0edab312efa10594ff (patch) | |
| tree | 6ed6ae6a960dfbe88c697ad93df51fe18a6bed3f /test/monniaux/float_mat/float_mat_run.c | |
| parent | 74933deaee0f8c18dda02288d4b3666cb8539311 (diff) | |
| download | compcert-kvx-3dab0dce340fd6de7bd31f0edab312efa10594ff.tar.gz compcert-kvx-3dab0dce340fd6de7bd31f0edab312efa10594ff.zip | |
forgot a free()
Diffstat (limited to 'test/monniaux/float_mat/float_mat_run.c')
| -rw-r--r-- | test/monniaux/float_mat/float_mat_run.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/monniaux/float_mat/float_mat_run.c b/test/monniaux/float_mat/float_mat_run.c index f5dfa0af..5d34bb70 100644 --- a/test/monniaux/float_mat/float_mat_run.c +++ b/test/monniaux/float_mat/float_mat_run.c @@ -128,5 +128,6 @@ int main() { free(c5); free(c6); free(c7); + free(c8); return 0; } |