diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:04:29 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-06 14:04:29 +0100 |
| commit | a03dda71ff004c7a2b02654d96887609ef11d9fa (patch) | |
| tree | 65942e706688ef1ba5fc2b652bd756fa7ec4b78f /backend/PrintLTL.ml | |
| parent | 53c7c86c54fc8ec9d04afcc209d775b61922f627 (diff) | |
| download | compcert-kvx-a03dda71ff004c7a2b02654d96887609ef11d9fa.tar.gz compcert-kvx-a03dda71ff004c7a2b02654d96887609ef11d9fa.zip | |
Remove open AST.
The two types needed from AST are prefixed directly.
Diffstat (limited to 'backend/PrintLTL.ml')
0 files changed, 0 insertions, 0 deletions