ocaml 3.09 transition

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

diff --git a/helm/ocaml/cic_proof_checking/cicUnivUtils.mli b/helm/ocaml/cic_proof_checking/cicUnivUtils.mli
index f3dfe3f09f970ed26dcd705864b79183b46640bc..eb55a47eb689e679128f930a48538faf291bb8d9 100644 (file)
--- a/helm/ocaml/cic_proof_checking/cicUnivUtils.mli
+++ b/helm/ocaml/cic_proof_checking/cicUnivUtils.mli
@@ -28,5 +28,5 @@
   *)
 val clean_and_fill:
   UriManager.uri -> Cic.obj -> CicUniv.universe_graph ->
-    CicUniv.universe_graph * CicUniv.universe list
+    CicUniv.universe_graph * CicUniv.universe list * Cic.obj