diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-08-31 18:48:29 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-08-31 18:48:29 +0200 |
| commit | 6f12f83d4109943e6c4df780dccf0740e2437c7f (patch) | |
| tree | 67baa79c389cd73119ddeddf23a601033ccc1dd3 /kvx/Builtins1.v | |
| parent | e069f9abea7cdb2fb088a30ac24668aa4973269e (diff) | |
| download | compcert-kvx-6f12f83d4109943e6c4df780dccf0740e2437c7f.tar.gz compcert-kvx-6f12f83d4109943e6c4df780dccf0740e2437c7f.zip | |
fix problem with some file descriptors possibly never getting closed
(need to propagate fix to other kinds of solvers)
Diffstat (limited to 'kvx/Builtins1.v')
0 files changed, 0 insertions, 0 deletions