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 /backend/SelectDiv.vp | |
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 'backend/SelectDiv.vp')
0 files changed, 0 insertions, 0 deletions