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

diff --git a/matita/components/cic/.depend b/matita/components/cic/.depend
index cabb8d5d1..2ba6ab8fd 100644
--- 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