interim version (added smallLexer)

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

diff --git a/matitaB/components/content/notationPp.ml b/matitaB/components/content/notationPp.ml
index d120fde68f696587fe6ffb160ed346ae4dd05264..8f1db4a62e3ef2311fcba6f41b0b3d6751a75f18 100644 (file)
--- a/matitaB/components/content/notationPp.ml
+++ b/matitaB/components/content/notationPp.ml
@@ -347,7 +347,7 @@ let rec pp_value (status: #NCic.status) = function
   | Env.OptValue (Some v) -> "Some " ^ pp_value status v
   | Env.OptValue None -> "None"
   | Env.ListValue l -> sprintf "[%s]" (String.concat "; " (List.map (pp_value status) l))
-  | Env.LocValue l -> sprintf "#"
+  | Env.DisambiguationValue _ -> sprintf "#"
 
 let rec pp_value_type =
   function