diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-10-23 09:28:45 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-10-23 09:28:45 +0000 |
| commit | a543aeafeac6498d1baa085da478a4e9e27e3dc8 (patch) | |
| tree | e7f35c14139af1364a47a7fc255d2c191932dd8c /extraction | |
| parent | ec553a83a01665b4f868a03b91f6fc9e5c69b642 (diff) | |
Relaxation des contraintes sur les struct recursives
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@128 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'extraction')
0 files changed, 0 insertions, 0 deletions