diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-06 12:15:31 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-06 12:15:31 +0200 |
commit | 2f31c1867b75040067a1ef74ae32f197e8d296c1 (patch) | |
tree | ee453426daf3ff04d0d625f0e40e8a4a13722dab /cparser/PackedStructs.ml | |
parent | bec421ba348b0a511c7821843b04e5e9d7ccc619 (diff) | |
download | compcert-2f31c1867b75040067a1ef74ae32f197e8d296c1.tar.gz compcert-2f31c1867b75040067a1ef74ae32f197e8d296c1.zip |
Corrected little typo in __builtin_clz function.
Diffstat (limited to 'cparser/PackedStructs.ml')
0 files changed, 0 insertions, 0 deletions