diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-30 12:53:17 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-30 12:53:17 +0100 |
commit | 7cce5af2b184bbb7b037b2a32793c7bfa287da72 (patch) | |
tree | e25b74df23812a490d54cce01f09f1df596d9e43 /exportclight | |
parent | 018ff51afad3d9c148622a50de83a2f787f6dc10 (diff) | |
download | compcert-7cce5af2b184bbb7b037b2a32793c7bfa287da72.tar.gz compcert-7cce5af2b184bbb7b037b2a32793c7bfa287da72.zip |
PR#10 continued: disambiguate record to avoid OCaml warning
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions