diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-17 13:13:34 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-17 13:13:34 +0000 |
| commit | fa152aa3e9266f0049614c90a73aa9657e3c4071 (patch) | |
| tree | 864bef4aafdbaec8fa0de7f0730e9ca9beb50fe3 /test/c/binarytrees.c | |
| parent | 623c0ad32146f29707067db2fa9549c6d4515885 (diff) | |
| download | compcert-fa152aa3e9266f0049614c90a73aa9657e3c4071.tar.gz compcert-fa152aa3e9266f0049614c90a73aa9657e3c4071.zip | |
typo in comment
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@106 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/c/binarytrees.c')
0 files changed, 0 insertions, 0 deletions