- let p = C.LetIn (n, meta, assert false, p) in
- let it = C.LetIn (n, meta, assert false, it) in
- let et = C.LetIn (n, meta, assert false, et) in
+ let p = C.LetIn (n, meta, meta, p) in
+ let it = C.LetIn (n, meta, meta, it) in
+ let et = C.LetIn (n, meta, meta, et) in