abstracted pretty printers over inner pretty printing units (terms, lazy terms, and...

[helm.git] / helm / ocaml / content_pres / termContentPres.ml

diff --git a/helm/ocaml/content_pres/termContentPres.ml b/helm/ocaml/content_pres/termContentPres.ml
index 3236fb43357068afd584d5c929da3a1274e48079..fedcef6aff69a553a316895c271c1aca3f62a9f6 100644 (file)
--- a/helm/ocaml/content_pres/termContentPres.ml
+++ b/helm/ocaml/content_pres/termContentPres.ml
@@ -289,7 +289,7 @@ let instantiate21 idrefs env l1 =
         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 ->