diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-03 13:49:37 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-03 13:49:37 +0100 |
| commit | 49910cab799a752c8e2f83b33b6732b215d4e17b (patch) | |
| tree | d4b667343ed942caf2e42bdabf7e65934b6a4e63 /extraction | |
| parent | e727687892f32bf11a5357695eb791780c8c34ba (diff) | |
| download | compcert-kvx-49910cab799a752c8e2f83b33b6732b215d4e17b.tar.gz compcert-kvx-49910cab799a752c8e2f83b33b6732b215d4e17b.zip | |
Remove unused opens.
Format was only used in one place without explicit module prefix.
The same holds for Env.
Bug 19872
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions