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/Machregsaux.mli | |
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/Machregsaux.mli')
0 files changed, 0 insertions, 0 deletions