diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-01-07 10:45:52 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-01-07 10:45:52 +0000 |
| commit | cd2449aabe7b259b0fdb8aaa2af65c2b8957ab32 (patch) | |
| tree | 6bb1909d48c6f865e3358cad6df7ac24f55fce7c /arm/Constpropproof.v | |
| parent | 33a2f642a3bb6e14ffaa4f93708f9ba1cec92fd4 (diff) | |
Fixed unary minus
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@944 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'arm/Constpropproof.v')
0 files changed, 0 insertions, 0 deletions