interim version (added smallLexer)

[helm.git] / matitaB / components / content / notationEnv.ml

diff --git a/matitaB/components/content/notationEnv.ml b/matitaB/components/content/notationEnv.ml
index cca2e37998e197b2ca8416762524c918ade43746..986c9b63c84a45ca93fc9e1d979129b42baad14d 100644 (file)
--- a/matitaB/components/content/notationEnv.ml
+++ b/matitaB/components/content/notationEnv.ml
@@ -37,7 +37,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 *)