- cic almost not used

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

diff --git a/matita/components/cic/.depend b/matita/components/cic/.depend
index cabb8d5d12fe93b379ac0f46f17fbfaa4c51ba18..2ba6ab8fd359f86abf263ebcea80eccf77010c75 100644 (file)
--- a/matita/components/cic/.depend
+++ b/matita/components/cic/.depend
@@ -1,11 +1,8 @@
 cicUniv.cmi: 
-cicUtil.cmi: cic.cmo 
 cicPp.cmi: cic.cmo 
 cic.cmo: cicUniv.cmi 
 cic.cmx: cicUniv.cmx 
 cicUniv.cmo: cicUniv.cmi 
 cicUniv.cmx: cicUniv.cmi 
-cicUtil.cmo: cicUniv.cmi cic.cmo cicUtil.cmi 
-cicUtil.cmx: cicUniv.cmx cic.cmx cicUtil.cmi 
 cicPp.cmo: cic.cmo cicPp.cmi 
 cicPp.cmx: cic.cmx cicPp.cmi