* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
open Printf
module Ast = CicNotationPt
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 ->