X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent%2FnotationEnv.mli;h=3118893214049fbac94a53acff5684f894f5adc8;hb=5f1afbcf716a9275f70baa02a5a464bd2abc0726;hp=9c83e1a83af465deac37ef0064ec591c5980a35b;hpb=6d4277977478ef9bcadaffbef3d4bb04ac0250a5;p=helm.git

diff --git a/matitaB/components/content/notationEnv.mli b/matitaB/components/content/notationEnv.mli
index 9c83e1a83..311889321 100644
--- a/matitaB/components/content/notationEnv.mli
+++ b/matitaB/components/content/notationEnv.mli
@@ -35,7 +35,7 @@ type value =
   | NumValue of string
   | OptValue of value option
   | ListValue of value list
-  | LocValue of Stdpp.location
+  | DisambiguationValue of (Stdpp.location * string option * string option)
 
 type value_type =
   | TermType of int (* the level of the expected term *)