Cic.term and Cic.obj unused!

[helm.git] / matita / components / cic / .depend

diff --git a/matita/components/cic/.depend b/matita/components/cic/.depend
index 2ba6ab8fd359f86abf263ebcea80eccf77010c75..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
--- 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