Skip to content
  • Xia Li-yao's avatar
    Do not depend on projection parameter names (#388) · 6106e043
    Xia Li-yao authored
    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.
    6106e043