diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-02-29 08:42:10 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-02-29 08:42:10 +0000 |
commit | c42d68fdeeef7d08b64a900f52d6b295ad31f4f0 (patch) | |
tree | be1575a8e04e814306d7fd3611071c6bc4599fe3 /cparser/Parse_aux.mli | |
parent | 55a23ce430234a40081222a213c5bb6b157b7552 (diff) | |
download | compcert-c42d68fdeeef7d08b64a900f52d6b295ad31f4f0.tar.gz compcert-c42d68fdeeef7d08b64a900f52d6b295ad31f4f0.zip |
Better printing of pointer values and of locations.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1830 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cparser/Parse_aux.mli')
0 files changed, 0 insertions, 0 deletions