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 /cfrontend/Clight.v | |
| parent | 9096c5c513aba868970a3e792fd5237d74547c05 (diff) | |
| download | compcert-kvx-261ef24f7fd2ef443f73c468b9b1fa496371f3bf.tar.gz compcert-kvx-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 'cfrontend/Clight.v')
0 files changed, 0 insertions, 0 deletions