ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_disambiguation / disambiguateChoices.mli

diff --git a/helm/ocaml/cic_disambiguation/disambiguateChoices.mli b/helm/ocaml/cic_disambiguation/disambiguateChoices.mli
index 74dfaaa58bec3dc215ca1c38631a65bb4b406a5a..0ad498106456a50d50ed4962a530e597b7d1a08f 100644 (file)
--- 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