X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcontent_pres%2FtermContentPres.ml;h=fedcef6aff69a553a316895c271c1aca3f62a9f6;hb=55ba0a660f91e491e904dad63b14ddf2bcc2754d;hp=3236fb43357068afd584d5c929da3a1274e48079;hpb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;p=helm.git

diff --git a/helm/ocaml/content_pres/termContentPres.ml b/helm/ocaml/content_pres/termContentPres.ml
index 3236fb433..fedcef6af 100644
--- 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 ->