diff options
author | Xia Li-yao <Lysxia@users.noreply.github.com> | 2021-03-25 12:21:14 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-25 17:21:14 +0100 |
commit | 6106e043c8a13bf882d2227b3ee80a108305d8df (patch) | |
tree | 4ee694780cb8793cc8c9608b0299a447f6ba02d7 /cparser | |
parent | 6bf310dd678285dc193798e89fc2c441d8430892 (diff) | |
download | compcert-6106e043c8a13bf882d2227b3ee80a108305d8df.tar.gz compcert-6106e043c8a13bf882d2227b3ee80a108305d8df.zip |
Do not depend on projection parameter names (#388)
coq/coq#13852 fixes an oddity in the automatically-generated names for projection parameters.
There was one place in CompCert where one of these automatically-generated names was used.
This commit avoids using this name.
Diffstat (limited to 'cparser')
0 files changed, 0 insertions, 0 deletions