aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend/Cminorgenproof.v
diff options
context:
space:
mode:
authorxleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2012-01-21 16:33:21 +0000
committerxleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2012-01-21 16:33:21 +0000
commitda70a192db50222a0da4a1da3b5ab6e3cabbbb16 (patch)
treead667002db00303a19f5369f5efa5b516e8257a4 /cfrontend/Cminorgenproof.v
parentc1fa5a8ca25db725b780140ab7ff4516d6e5e8ec (diff)
downloadcompcert-da70a192db50222a0da4a1da3b5ab6e3cabbbb16.tar.gz
compcert-da70a192db50222a0da4a1da3b5ab6e3cabbbb16.zip
Another typo in print_builtin_vstore_common
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1801 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cfrontend/Cminorgenproof.v')
0 files changed, 0 insertions, 0 deletions