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 | |
parent | 53c7c86c54fc8ec9d04afcc209d775b61922f627 (diff) | |
download | compcert-a03dda71ff004c7a2b02654d96887609ef11d9fa.tar.gz compcert-a03dda71ff004c7a2b02654d96887609ef11d9fa.zip |
Remove open AST.
The two types needed from AST are prefixed directly.
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions