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 /backend/CMlexer.mll | |
| parent | a90b94b43e5d1ff99effc6af306987b5f559871b (diff) | |
| download | compcert-948f5c7899acd1ecd1a948bd54b695c6fa3afafb.tar.gz compcert-948f5c7899acd1ecd1a948bd54b695c6fa3afafb.zip | |
extend cminor parser to accept "extern runtime" declarations
Diffstat (limited to 'backend/CMlexer.mll')
0 files changed, 0 insertions, 0 deletions