diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-12-12 13:16:29 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-12-12 13:16:29 +0100 |
commit | 1057d06826cde79a65dd542c1b4dd72e0c25243d (patch) | |
tree | 271c50ed19bf21f438acf26abe2afc7582154c23 /cparser/Machine.ml | |
parent | f44bf0961c9211cc650a47f73d575658aec4ba77 (diff) | |
download | compcert-1057d06826cde79a65dd542c1b4dd72e0c25243d.tar.gz compcert-1057d06826cde79a65dd542c1b4dd72e0c25243d.zip |
Deactivate ais_annotations again.
Diffstat (limited to 'cparser/Machine.ml')
0 files changed, 0 insertions, 0 deletions