X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_acic%2F.depend;h=468b5efb808bb6a9fd0c45504dc51bae15a1c5e5;hb=f9abd21eb0d26cf9b632af4df819225be4d091e3;hp=3fc1e0dce9eedda1f0bb74a669ad175582f03e06;hpb=da5dd88bbcc43d9f4342e47c922b820abf91c92f;p=helm.git

diff --git a/helm/software/components/cic_acic/.depend b/helm/software/components/cic_acic/.depend
index 3fc1e0dce..468b5efb8 100644
--- a/helm/software/components/cic_acic/.depend
+++ b/helm/software/components/cic_acic/.depend
@@ -1,9 +1,12 @@
-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