X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent%2FnotationEnv.ml;fp=matitaB%2Fcomponents%2Fcontent%2FnotationEnv.ml;h=6951760bf3a9fb18282db148041ee5c1fdd53262;hb=c81b0e8dbfe80e2350e9322afa8316f39f98c3b3;hp=eb85ec038a2623127c69d2414708d8893f94a2a3;hpb=935c8d1b73726bb49b99e5c2dbebdea0d617fa1a;p=helm.git

diff --git a/matitaB/components/content/notationEnv.ml b/matitaB/components/content/notationEnv.ml
index eb85ec038..6951760bf 100644
--- a/matitaB/components/content/notationEnv.ml
+++ b/matitaB/components/content/notationEnv.ml
@@ -37,7 +37,10 @@ type value =
   | NumValue of string
   | OptValue of value option
   | ListValue of value list
-  | DisambiguationValue of (Stdpp.location * string option * string option)
+   (* optional name of Ast.Symbols that we want to contain the interpretation of this literal
+    * location of the literal we are parsing
+    * optional uri, optional desc *)
+  | DisambiguationValue of (string option * Stdpp.location * string option * string option)
 
 type value_type =
   | TermType of int (* the level of the expected term *)