Matitaweb:

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

diff --git a/matitaB/components/content/notationEnv.mli b/matitaB/components/content/notationEnv.mli
index 3118893214049fbac94a53acff5684f894f5adc8..69ffceb0cd09363b04e0d7a59843e5aaa735de33 100644 (file)
--- 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
-  | DisambiguationValue of (Stdpp.location * string option * string option)
+  | DisambiguationValue of (string option * Stdpp.location * string option * string option)
 
 type value_type =
   | TermType of int (* the level of the expected term *)