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 /LICENSE | |
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 'LICENSE')
0 files changed, 0 insertions, 0 deletions