X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2Fcontent2presMatcher.ml;h=cf5d66b6a9bd9c5f3c911d83194334efc2a248af;hb=a2412e41cda18a25d780ae631ee02d6ae05c52b1;hp=8b613a524775a32bab105d8c59bc126e1d5c676a;hpb=fb9f80d2fb30216cc0754e8e8d09206f3e3e7bb7;p=helm.git

diff --git a/matitaB/components/content_pres/content2presMatcher.ml b/matitaB/components/content_pres/content2presMatcher.ml
index 8b613a524..cf5d66b6a 100644
--- a/matitaB/components/content_pres/content2presMatcher.ml
+++ b/matitaB/components/content_pres/content2presMatcher.ml
@@ -103,7 +103,7 @@ struct
               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)) ->
+          | Ast.Variable (Ast.IdentVar name), (Ast.Ident (s, `Ambiguous)) ->
               name, (Env.StringType, Env.StringValue (Env.Ident s))
           | _ -> assert false)
         pl tl