X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_acic%2F.depend;fp=helm%2Fsoftware%2Fcomponents%2Fcic_acic%2F.depend;h=468b5efb808bb6a9fd0c45504dc51bae15a1c5e5;hb=433d9c9612c1557e03a549e004c796c1137d4b4a;hp=5449d50aaa2d43c1a8126f0561177e904f0975da;hpb=e90313fa853ba63f29416c2d0de40b13c913e567;p=helm.git

diff --git a/helm/software/components/cic_acic/.depend b/helm/software/components/cic_acic/.depend
index 5449d50aa..468b5efb8 100644
--- a/helm/software/components/cic_acic/.depend
+++ b/helm/software/components/cic_acic/.depend
@@ -1,12 +1,12 @@
-eta_fixing.cmi: 
-doubleTypeInference.cmi: 
-cic2acic.cmi: 
-cic2Xml.cmi: cic2acic.cmi 
-eta_fixing.cmo: eta_fixing.cmi 
-eta_fixing.cmx: eta_fixing.cmi 
-doubleTypeInference.cmo: doubleTypeInference.cmi 
-doubleTypeInference.cmx: doubleTypeInference.cmi 
-cic2acic.cmo: eta_fixing.cmi doubleTypeInference.cmi cic2acic.cmi 
-cic2acic.cmx: eta_fixing.cmx doubleTypeInference.cmx cic2acic.cmi 
-cic2Xml.cmo: cic2acic.cmi cic2Xml.cmi 
-cic2Xml.cmx: cic2acic.cmx cic2Xml.cmi 
+eta_fixing.cmi :
+doubleTypeInference.cmi :
+cic2acic.cmi :
+cic2Xml.cmi : cic2acic.cmi
+eta_fixing.cmo : eta_fixing.cmi
+eta_fixing.cmx : eta_fixing.cmi
+doubleTypeInference.cmo : doubleTypeInference.cmi
+doubleTypeInference.cmx : doubleTypeInference.cmi
+cic2acic.cmo : eta_fixing.cmi doubleTypeInference.cmi cic2acic.cmi
+cic2acic.cmx : eta_fixing.cmx doubleTypeInference.cmx cic2acic.cmi
+cic2Xml.cmo : cic2acic.cmi cic2Xml.cmi
+cic2Xml.cmx : cic2acic.cmx cic2Xml.cmi