diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-03-12 13:20:01 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-03-12 13:20:01 +0000 |
| commit | 8bc231b13803a3d9d5e1f90a7f8d768b202a66b3 (patch) | |
| tree | b9fa3486aabc87b1e3801a3f7f85176b3d23e266 /Makefile | |
| parent | 644bd3cfc92fa0ddded80566b25b8a11957f6edf (diff) | |
Bind some local defs with Let, makes extracted code cleaner
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2148 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions