diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-04 16:03:14 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-04 16:03:14 +0100 |
commit | afbf8601af31b012872a2fae6939be9fd231145f (patch) | |
tree | 45cd9a15d089a32e2f92a821f04acacbc4c76558 /tools | |
parent | decb2ce78a04fe4432aead78ca0165106fd4d26d (diff) | |
download | compcert-kvx-afbf8601af31b012872a2fae6939be9fd231145f.tar.gz compcert-kvx-afbf8601af31b012872a2fae6939be9fd231145f.zip |
do not print "refining" unless asked
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions