diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:05:18 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:05:18 +0100 |
| commit | b7410c39f2ac8ecef788eaeb78c27e8275616700 (patch) | |
| tree | 439ca9b8763b81ca084d059613939e5d7849501a /backend/PrintXTL.ml | |
| parent | a03dda71ff004c7a2b02654d96887609ef11d9fa (diff) | |
| download | compcert-kvx-b7410c39f2ac8ecef788eaeb78c27e8275616700.tar.gz compcert-kvx-b7410c39f2ac8ecef788eaeb78c27e8275616700.zip | |
Remove open Locations.
The Locations are only used in one function.
Diffstat (limited to 'backend/PrintXTL.ml')
0 files changed, 0 insertions, 0 deletions