X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2Fcontent2presMatcher.ml;h=bcb4257bfda353f4f0ba7fe010d3590da5ca674b;hb=8c4659819a1c1f2e450d9a588ecca37d95ae48e9;hp=7e080ea6956a901180b40f719be98753af00267a;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/content_pres/content2presMatcher.ml b/helm/software/components/content_pres/content2presMatcher.ml
index 7e080ea69..bcb4257bf 100644
--- a/helm/software/components/content_pres/content2presMatcher.ml
+++ b/helm/software/components/content_pres/content2presMatcher.ml
@@ -73,7 +73,7 @@ struct
     let add_magic m =
       let name = Util.fresh_name () in
       magic_map := (name, m) :: !magic_map;
-      Ast.Variable (Ast.TermVar name)
+      Ast.Variable (Ast.TermVar (name,None))
     in
     let rec aux = function
       | Ast.AttributedTerm (_, t) -> assert false
@@ -91,8 +91,8 @@ struct
       List.map2
         (fun p t ->
           match p, t with
-            Ast.Variable (Ast.TermVar name), _ ->
-              name, (Env.TermType, Env.TermValue t)
+          | Ast.Variable (Ast.TermVar (name,l)), _ ->
+              name, (Env.TermType l, Env.TermValue t)
           | Ast.Variable (Ast.NumVar name), (Ast.Num (s, _)) ->
               name, (Env.NumType, Env.NumValue s)
           | Ast.Variable (Ast.IdentVar name), (Ast.Ident (s, None)) ->