diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-01 11:40:20 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-01-01 11:40:20 +0100 |
| commit | 61f3945316ee86b0a848fd32df7e2e688bd5bc1a (patch) | |
| tree | f0f20990ee13d8fa4767bbc3237dcbe8b60c3e7d /cfrontend/C2C.ml | |
| parent | 442e3140f4a2172bbc1ee7ce260eb1a8fd79ae95 (diff) | |
| download | compcert-61f3945316ee86b0a848fd32df7e2e688bd5bc1a.tar.gz compcert-61f3945316ee86b0a848fd32df7e2e688bd5bc1a.zip | |
Wrong handling of block-local function declarations (again)
Reapply commit c3b615f875ed2cf8418453c79c4621d2dc61b0a0
which was overwritten by 2d32afc5daf16c75d1a34f2716c34ae2e1efcce4
Diffstat (limited to 'cfrontend/C2C.ml')
0 files changed, 0 insertions, 0 deletions