diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-07-01 11:05:39 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-07-01 11:05:39 +0200 |
commit | 948f5c7899acd1ecd1a948bd54b695c6fa3afafb (patch) | |
tree | 122c105840b096621def3ebbe6d486f88e9b8f5f /flocq | |
parent | a90b94b43e5d1ff99effc6af306987b5f559871b (diff) | |
download | compcert-948f5c7899acd1ecd1a948bd54b695c6fa3afafb.tar.gz compcert-948f5c7899acd1ecd1a948bd54b695c6fa3afafb.zip |
extend cminor parser to accept "extern runtime" declarations
Diffstat (limited to 'flocq')
0 files changed, 0 insertions, 0 deletions