X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_unification%2FcoercGraph.mli;h=fcbed3497313fd840b81d36000d5e3eef7d3dd6a;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=dfba8f5dc758a8198868f58ca2cbc4867f5e5912;hpb=0245778d76e4d7656c1d8a05dc19738f1a953d68;p=helm.git

diff --git a/helm/ocaml/cic_unification/coercGraph.mli b/helm/ocaml/cic_unification/coercGraph.mli
index dfba8f5dc..fcbed3497 100644
--- 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