X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcontent_pres%2FtermContentPres.ml;h=4c8bbc7d4e4af42ff8defbee358438dd0f139cf5;hb=f345c59c259bc72379996c951561a0aa3ca06dc9;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..4c8bbc7d4 100644
--- a/helm/ocaml/content_pres/termContentPres.ml
+++ b/helm/ocaml/content_pres/termContentPres.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf
 
 module Ast = CicNotationPt
@@ -289,7 +291,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 ->