ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_proof_checking / cicEnvironment.mli

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.mli b/helm/ocaml/cic_proof_checking/cicEnvironment.mli
index 93075425791fc008e433551051a12cdf0df0a4d4..55566a614493de9ae8b872a0a9347d2cf6a37073 100644 (file)
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.mli
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.mli
@@ -36,7 +36,7 @@
 (*                                                                          *)
 (****************************************************************************)
 
-exception CircularDependency of string;;
+exception CircularDependency of string Lazy.t;;
 exception Object_not_found of UriManager.uri;;
 
 (* as the get cooked, but if not present the object is only fetched,