X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateChoices.mli;h=0ad498106456a50d50ed4962a530e597b7d1a08f;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=74dfaaa58bec3dc215ca1c38631a65bb4b406a5a;hpb=e20f3963028a966fc93ba0d611c4aa8341d20e2c;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguateChoices.mli b/helm/ocaml/cic_disambiguation/disambiguateChoices.mli
index 74dfaaa58..0ad498106 100644
--- a/helm/ocaml/cic_disambiguation/disambiguateChoices.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguateChoices.mli
@@ -28,7 +28,7 @@ open DisambiguateTypes
 (** {2 Choice registration low-level interface} *)
 
   (** raised by lookup_XXXX below *)
-exception Choice_not_found of string
+exception Choice_not_found of string Lazy.t
 
   (** register a new number choice *)
 val add_num_choice: codomain_item -> unit