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 /backend/PrintXTL.ml | |
parent | e727687892f32bf11a5357695eb791780c8c34ba (diff) | |
download | compcert-49910cab799a752c8e2f83b33b6732b215d4e17b.tar.gz compcert-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 'backend/PrintXTL.ml')
0 files changed, 0 insertions, 0 deletions