X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_unification%2F.depend.opt;fp=helm%2Fsoftware%2Fcomponents%2Fcic_unification%2F.depend.opt;h=2e054f73d4e69376cc89138609538274bd8fe6d8;hb=95adf6dc8e29a71adc34e71eafe3f427990126e0;hp=a7b23ceb4e8ba6ae3fdc2fa8352ce69acbde78b0;hpb=f4d1feaa9cc24ef94f72fe32603a71f8d65acd01;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