First commit with new (incomplete) disambiguation engine.

[helm.git] / matitaB / components / content_pres / content2presMatcher.ml

diff --git a/matitaB/components/content_pres/content2presMatcher.ml b/matitaB/components/content_pres/content2presMatcher.ml
index 8b613a524775a32bab105d8c59bc126e1d5c676a..cf5d66b6a9bd9c5f3c911d83194334efc2a248af 100644 (file)
--- 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