ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_unification / coercGraph.mli

diff --git a/helm/ocaml/cic_unification/coercGraph.mli b/helm/ocaml/cic_unification/coercGraph.mli
index dfba8f5dc758a8198868f58ca2cbc4867f5e5912..fcbed3497313fd840b81d36000d5e3eef7d3dd6a 100644 (file)
--- a/helm/ocaml/cic_unification/coercGraph.mli
+++ b/helm/ocaml/cic_unification/coercGraph.mli
@@ -27,7 +27,7 @@ type coercion_search_result =
   | SomeCoercion of Cic.term
   | NoCoercion
   | NotMetaClosed
-  | NotHandled of string
+  | NotHandled of string Lazy.t
 
 val look_for_coercion :
   Cic.term -> Cic.term -> coercion_search_result