Ast.AttributedTerm (attr, subst_singleton pos env t)
| t -> CicNotationUtil.group (subst pos env t)
and subst pos env = function
- | Ast.AttributedTerm (attr, t) as term ->
+ | Ast.AttributedTerm (attr, t) ->
(* prerr_endline ("loosing attribute " ^ CicNotationPp.pp_attribute attr); *)
subst pos env t
| Ast.Variable var ->