dependences update

[helm.git] / helm / software / components / cic_acic / .depend

diff --git a/helm/software/components/cic_acic/.depend b/helm/software/components/cic_acic/.depend
index 5449d50aaa2d43c1a8126f0561177e904f0975da..468b5efb808bb6a9fd0c45504dc51bae15a1c5e5 100644 (file)
--- 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