diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-22 19:34:45 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-22 19:34:45 +0100 |
| commit | e89f1e606bc8c9c425628392adc9c69cec666b5e (patch) | |
| tree | 9c1d9bccb0811666a5f51c89a4285a4d747f34b7 /cfrontend/Ctyping.v | |
| parent | f1db887befa816f70f64aaffa2ce4d92c4bebc55 (diff) | |
| download | compcert-kvx-e89f1e606bc8c9c425628392adc9c69cec666b5e.tar.gz compcert-kvx-e89f1e606bc8c9c425628392adc9c69cec666b5e.zip | |
Represent struct and union types by name instead of by structure.
Diffstat (limited to 'cfrontend/Ctyping.v')
0 files changed, 0 insertions, 0 deletions