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 /cparser/Env.ml | |
| parent | 018ff51afad3d9c148622a50de83a2f787f6dc10 (diff) | |
| download | compcert-kvx-7cce5af2b184bbb7b037b2a32793c7bfa287da72.tar.gz compcert-kvx-7cce5af2b184bbb7b037b2a32793c7bfa287da72.zip | |
PR#10 continued: disambiguate record to avoid OCaml warning
Diffstat (limited to 'cparser/Env.ml')
0 files changed, 0 insertions, 0 deletions