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

diff --git a/helm/software/components/cic_unification/.depend.opt b/helm/software/components/cic_unification/.depend.opt
index a7b23ceb4..2e054f73d 100644
--- a/helm/software/components/cic_unification/.depend.opt
+++ b/helm/software/components/cic_unification/.depend.opt
@@ -1,3 +1,10 @@
+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