diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-12 13:32:23 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-02-12 14:38:59 +0100 |
commit | d2c5701fb538ec175b3fa2266d795ba63d795b3b (patch) | |
tree | 12e1b0b2aa0929f5bec4f8d8d2e0e8f90c10ed7a /driver/Commandline.ml | |
parent | 26a4436b9d1b6916d67ee35d00a7120603a3bc9c (diff) | |
download | compcert-d2c5701fb538ec175b3fa2266d795ba63d795b3b.tar.gz compcert-d2c5701fb538ec175b3fa2266d795ba63d795b3b.zip |
Switching the cases seems to work on x86_32
Diffstat (limited to 'driver/Commandline.ml')
0 files changed, 0 insertions, 0 deletions