diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-05-22 10:12:19 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-05-22 10:12:19 +0200 |
| commit | 5dd1544021c608060d8ee5ba052cc82132fff741 (patch) | |
| tree | 29ca8d8e653b0b1d10e02a16368437458f87e672 /common/AST.v | |
| parent | b686f8df572ea77c8832637bed4e4cd81f0931e2 (diff) | |
| download | compcert-kvx-5dd1544021c608060d8ee5ba052cc82132fff741.tar.gz compcert-kvx-5dd1544021c608060d8ee5ba052cc82132fff741.zip | |
Missing case in type_conditional (long long vs. int or float).
Diffstat (limited to 'common/AST.v')
0 files changed, 0 insertions, 0 deletions