diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-21 17:25:36 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-01-21 17:25:36 +0100 |
commit | e6bb6890b5686602ad39e370e5f07c33b9b48145 (patch) | |
tree | 0e8be73e05024b1af41658aabf7f4cc481f1f586 /lib/Readconfig.mli | |
parent | 8152be7dfb272eafd97692a789a2596b883f413f (diff) | |
download | compcert-e6bb6890b5686602ad39e370e5f07c33b9b48145.tar.gz compcert-e6bb6890b5686602ad39e370e5f07c33b9b48145.zip |
Added warning for strict-sequences.
Diffstat (limited to 'lib/Readconfig.mli')
0 files changed, 0 insertions, 0 deletions