diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-05-29 15:43:31 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-05-29 15:43:31 +0200 |
commit | c4d9dce2d316f3f9adeefcc523198093b7184ab6 (patch) | |
tree | bc1db8bff947134011989dd863ed9a372d79b80b /lib/Integers.v | |
parent | a5f96b68f8af673f7666658f796f2322b6b9da93 (diff) | |
download | compcert-c4d9dce2d316f3f9adeefcc523198093b7184ab6.tar.gz compcert-c4d9dce2d316f3f9adeefcc523198093b7184ab6.zip |
Removed duplicated whitespace. Bug 23660
Diffstat (limited to 'lib/Integers.v')
0 files changed, 0 insertions, 0 deletions