match obj with
C.ADefinition (_, rann, _, _, _, _) -> rann
| C.AAxiom (_, rann, _, _, _) -> rann
- | C.AVariable (_, rann, _, _) -> rann
+ | C.AVariable (_, rann, _, _, _) -> rann
| C.ACurrentProof (_, rann, _, _, _, _) -> rann
| C.AInductiveDefinition (_, rann, _, _, _) -> rann
in
| C.ACast (_, rann, _, _) -> rann
| C.AProd (_, rann, _, _, _) -> rann
| C.ALambda (_, rann, _, _, _) -> rann
+ | C.ALetIn (_, rann, _, _, _) -> rann
| C.AAppl (_, rann, _) -> rann
| C.AConst (_, rann, _, _) -> rann
| C.AAbst (_, rann, _) -> rann