diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-04-16 15:20:02 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-04-16 15:20:02 +0000 |
commit | d9860475ac209eed6065cbb7b413f88a1bbde767 (patch) | |
tree | 1522a7054c9ff5075ecabc1d2f095512f718edfa /cparser/StructAssign.ml | |
parent | 507e6c242ced3c7f083edc1657092c9ff7a9c8f2 (diff) | |
download | compcert-d9860475ac209eed6065cbb7b413f88a1bbde767.tar.gz compcert-d9860475ac209eed6065cbb7b413f88a1bbde767.zip |
Fixed some typos
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1637 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/StructAssign.ml')
0 files changed, 0 insertions, 0 deletions