oldenv2newenv cache

[helm.git] / helm / software / components / ng_kernel / nCicEnvironment.mli

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.mli b/helm/software/components/ng_kernel/nCicEnvironment.mli
index 20945d08d4479bd5d8fb367458e074a9aafeb623..76519843950daf401345169620af4e157b64dc83 100644 (file)
--- a/helm/software/components/ng_kernel/nCicEnvironment.mli
+++ b/helm/software/components/ng_kernel/nCicEnvironment.mli
@@ -26,6 +26,6 @@
 (* NG: minimal wrapper on the old cicEnvironment, should provide only the
  * functions strictly necessary to the typechecking algorithm *)
 
-val get_checked_obj : NReference.reference -> NCic.obj
+val get_checked_obj : NUri.uri -> NCic.obj
 
 (* EOF *)