X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matitaB%2Fcomponents%2Fcontent%2FnotationEnv.ml;fp=matitaB%2Fcomponents%2Fcontent%2FnotationEnv.ml;h=77ffd92f22b60e9d7fdce05d7949f85f00e1ffb5;hb=a2412e41cda18a25d780ae631ee02d6ae05c52b1;hp=be9171a8d9318a714e16fd5ceffbc2a069099278;hpb=fb9f80d2fb30216cc0754e8e8d09206f3e3e7bb7;p=helm.git

diff --git a/matitaB/components/content/notationEnv.ml b/matitaB/components/content/notationEnv.ml
index be9171a8d..77ffd92f2 100644
--- a/matitaB/components/content/notationEnv.ml
+++ b/matitaB/components/content/notationEnv.ml
@@ -107,12 +107,12 @@ let declaration_of_var = function
 
 let value_of_term = function
   | Ast.Num (s, _) -> NumValue s
-  | Ast.Ident (s, None) -> StringValue (Var s)
+  | Ast.Ident (s, (* `Ambiguous? *) _) -> StringValue (Var s)
   | t -> TermValue t
 
 let term_of_value = function
-  | NumValue s -> Ast.Num (s, 0)
-  | StringValue (Ident s) -> Ast.Ident (s, None)
+  | NumValue s -> Ast.Num (s, None)
+  | StringValue (Ident s) -> Ast.Ident (s, `Ambiguous)
   | TermValue t -> t
   | _ -> assert false (* TO BE UNDERSTOOD *)