diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 10:50:48 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 17:18:07 +0200 |
commit | d4c9a7c5b47670bad12d54a3fd4de0ad4eceb1ee (patch) | |
tree | a5010aed6f4b186beb866110ec21d429dfc4c002 /cparser/Builtins.mli | |
parent | 8b76e2ecdd355e0088fd0542d5acd492a6a89ec2 (diff) | |
download | compcert-d4c9a7c5b47670bad12d54a3fd4de0ad4eceb1ee.tar.gz compcert-d4c9a7c5b47670bad12d54a3fd4de0ad4eceb1ee.zip |
We can ignore the generated automation. Bug 17392
Diffstat (limited to 'cparser/Builtins.mli')
0 files changed, 0 insertions, 0 deletions