diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 11:13:20 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 11:13:20 +0200 |
| commit | a0924753089854930e77b0d4c26944a66250d42c (patch) | |
| tree | 0218a58095bc5b8f184ed016ed3443c795c4d54c /cparser/Bitfields.ml | |
| parent | 13f5abe2a0d38e726249b66be574c82a96fec6e4 (diff) | |
| download | compcert-a0924753089854930e77b0d4c26944a66250d42c.tar.gz compcert-a0924753089854930e77b0d4c26944a66250d42c.zip | |
Updated comment string. Bug 18004.
Diffstat (limited to 'cparser/Bitfields.ml')
0 files changed, 0 insertions, 0 deletions