We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 76f7fea commit 31ee27eCopy full SHA for 31ee27e
cparser/Elab.ml
@@ -1548,8 +1548,8 @@ module I = struct
1548
| fld1 :: rem ->
1549
if fld1.fld_name = name then
1550
OK(Zunion(z, id, fld1), default_init env fld1.fld_typ)
1551
- else if fld.fld_anonymous && has_member env name fld.fld_typ then
1552
- let zi = (Zunion(z, id, fld1),i) in
+ else if fld1.fld_anonymous && has_member env name fld1.fld_typ then
+ let zi = (Zunion(z, id, fld1), default_init env fld1.fld_typ) in
1553
member env zi name
1554
else
1555
find rem
0 commit comments