added re-hash-consing of URIs embedded in universes

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

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index 6ad00d7643d948e2d8144a8b05b339893caa8729..42f0b3880e676e4bcdfac8e200c912dd978ddeb5 100644 (file)
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
@@ -299,7 +299,7 @@ module Cache :
             (***********************************************
                TSSI: FIXME add channel stuff for universes
             ************************************************)
-           (restore_uris v,u))
+           (restore_uris v, CicUniv.recons_graph u))
        restored
     ;;