X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic%2Funshare.mli;h=0dffb532e7a1c56672b23fdcd66c67bdaca239f2;hb=281f0c7b4fc0d5b97025625af2ecff85edebbb5c;hp=5582abcbf31517f50ccb96adc035d965786de714;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/cic/unshare.mli b/helm/software/components/cic/unshare.mli
index 5582abcbf..0dffb532e 100644
--- a/helm/software/components/cic/unshare.mli
+++ b/helm/software/components/cic/unshare.mli
@@ -23,4 +23,5 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val unshare : Cic.term -> Cic.term
+val unshare : ?fresh_univs:bool -> Cic.term -> Cic.term
+val fresh_types: Cic.obj -> Cic.obj