X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcic%2F.depend;h=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hb=729e08f5fb86b3ffee460fda4577b024ab5888aa;hp=2ba6ab8fd359f86abf263ebcea80eccf77010c75;hpb=d284dd23d0e12a62a001d3473eadf4942d12ffaa;p=helm.git

diff --git a/matita/components/cic/.depend b/matita/components/cic/.depend
index 2ba6ab8fd..e69de29bb 100644
--- a/matita/components/cic/.depend
+++ b/matita/components/cic/.depend
@@ -1,8 +0,0 @@
-cicUniv.cmi: 
-cicPp.cmi: cic.cmo 
-cic.cmo: cicUniv.cmi 
-cic.cmx: cicUniv.cmx 
-cicUniv.cmo: cicUniv.cmi 
-cicUniv.cmx: cicUniv.cmi 
-cicPp.cmo: cic.cmo cicPp.cmi 
-cicPp.cmx: cic.cmx cicPp.cmi