X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicUnivUtils.mli;h=eb55a47eb689e679128f930a48538faf291bb8d9;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=f3dfe3f09f970ed26dcd705864b79183b46640bc;hpb=ae3540a0dc8b1e1cccb04b811bf558fb6fff9577;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicUnivUtils.mli b/helm/ocaml/cic_proof_checking/cicUnivUtils.mli
index f3dfe3f09..eb55a47eb 100644
--- 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