diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-08-22 09:28:08 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-08-22 09:28:08 +0000 |
commit | 261ef24f7fd2ef443f73c468b9b1fa496371f3bf (patch) | |
tree | 42f33af682816dc9762f1b41a9dc04dc0526354f /cparser/Main.ml | |
parent | 9096c5c513aba868970a3e792fd5237d74547c05 (diff) | |
download | compcert-261ef24f7fd2ef443f73c468b9b1fa496371f3bf.tar.gz compcert-261ef24f7fd2ef443f73c468b9b1fa496371f3bf.zip |
Fixed 2 errors in revised builtin_vstore.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2035 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/Main.ml')
0 files changed, 0 insertions, 0 deletions