diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-03-20 14:55:02 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-03-20 14:55:02 +0100 |
| commit | 5a47ffbec20fb070383d0ff12981e8e50060136d (patch) | |
| tree | 3e08f8be08ed88598cbf3891fb92e6ac8ccba5b8 /test | |
| parent | cbf8434e44ebd6bc05022d1fbe0400267520184f (diff) | |
| download | compcert-5a47ffbec20fb070383d0ff12981e8e50060136d.tar.gz compcert-5a47ffbec20fb070383d0ff12981e8e50060136d.zip | |
Fix .type and .size annotations: @ is comment, use % instead.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions