diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-09-12 18:35:24 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-09-12 18:35:24 +0200 |
commit | 4927777d089c56001098781f8923dd4292b148ad (patch) | |
tree | 6a83b3c8e3f53e2252fef08a43f0fb97c8e2050c /x86/SelectLong.vp | |
parent | 1062e38b07d76d88d9bd11155d8500c157784026 (diff) | |
download | compcert-4927777d089c56001098781f8923dd4292b148ad.tar.gz compcert-4927777d089c56001098781f8923dd4292b148ad.zip |
Simplified code. Bug 24067
Diffstat (limited to 'x86/SelectLong.vp')
0 files changed, 0 insertions, 0 deletions