X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicEnvironment.ml;h=2849bc38a7f09c33d2c4b3c6789aba69a73b8c66;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c6201ce458e48b8e03d49924603c19f23231ef22;hpb=ae3540a0dc8b1e1cccb04b811bf558fb6fff9577;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index c6201ce45..2849bc38a 100644
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
@@ -56,7 +56,7 @@ type type_checked_obj =
 ;;
 
 exception AlreadyCooked of string;;
-exception CircularDependency of string;;
+exception CircularDependency of string Lazy.t;;
 exception CouldNotFreeze of string;;
 exception CouldNotUnfreeze of string;;
 exception Object_not_found of UriManager.uri;;
@@ -356,7 +356,7 @@ module Cache :
                    let univ = if o = None then "NO_UNIV" else "" in
                    print_endline (su^" "^univ)) 
                  !frozen_list;
-               raise (CircularDependency (UriManager.string_of_uri uri))
+               raise (CircularDependency (lazy (UriManager.string_of_uri uri)))
              end
            else
              if HT.mem cacheOfCookedObjects uri then