diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 13:02:58 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 13:02:58 +0100 |
commit | 7e03c9d3f58530d468d11c5f274bfb3d0fcf1ff2 (patch) | |
tree | b0c29e5276fa205652186a1effcdb9afcc3a63fb | |
parent | 3685268c6334f68001b2454fc3fa294d8b7a0688 (diff) | |
download | compcert-kvx-7e03c9d3f58530d468d11c5f274bfb3d0fcf1ff2.tar.gz compcert-kvx-7e03c9d3f58530d468d11c5f274bfb3d0fcf1ff2.zip |
fix free() bug
-rw-r--r-- | test/monniaux/int_mat_run.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/monniaux/int_mat_run.c b/test/monniaux/int_mat_run.c index 3fc4b64e..9367fae0 100644 --- a/test/monniaux/int_mat_run.c +++ b/test/monniaux/int_mat_run.c @@ -78,5 +78,7 @@ int main() { free(b); free(c1); free(c2); + free(c3); + free(c4); return 0; } |