X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_unification%2F.depend.opt;h=a7b23ceb4e8ba6ae3fdc2fa8352ce69acbde78b0;hb=a90c31c1b53222bd6d57360c5ba5c2d0fe7d5207;hp=2e054f73d4e69376cc89138609538274bd8fe6d8;hpb=4377e950998c9c63937582952a79975947aa9a45;p=helm.git

diff --git a/helm/software/components/cic_unification/.depend.opt b/helm/software/components/cic_unification/.depend.opt
index 2e054f73d..a7b23ceb4 100644
--- a/helm/software/components/cic_unification/.depend.opt
+++ b/helm/software/components/cic_unification/.depend.opt
@@ -1,10 +1,3 @@
-cicMetaSubst.cmi: 
-cicMkImplicit.cmi: 
-termUtil.cmi: 
-coercGraph.cmi: 
-cicUnification.cmi: 
-cicReplace.cmi: 
-cicRefine.cmi: 
 cicMetaSubst.cmo: cicMetaSubst.cmi 
 cicMetaSubst.cmx: cicMetaSubst.cmi 
 cicMkImplicit.cmo: cicMkImplicit.cmi