X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2F.depend;h=9e8bfadb7b7667eea0777c603d7f01fa9ff23c70;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=5dfc55b8a36a4a7081598974f7b327e9b087c30d;hpb=9e781c8957ff049e7bba65e1d611e5f007b02fb5;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/.depend b/helm/ocaml/cic_omdoc/.depend
index 5dfc55b8a..9e8bfadb7 100644
--- a/helm/ocaml/cic_omdoc/.depend
+++ b/helm/ocaml/cic_omdoc/.depend
@@ -5,8 +5,8 @@ eta_fixing.cmo: eta_fixing.cmi
 eta_fixing.cmx: eta_fixing.cmi 
 doubleTypeInference.cmo: doubleTypeInference.cmi 
 doubleTypeInference.cmx: doubleTypeInference.cmi 
-cic2acic.cmo: doubleTypeInference.cmi cic2acic.cmi 
-cic2acic.cmx: doubleTypeInference.cmx cic2acic.cmi 
+cic2acic.cmo: doubleTypeInference.cmi eta_fixing.cmi cic2acic.cmi 
+cic2acic.cmx: doubleTypeInference.cmx eta_fixing.cmx cic2acic.cmi 
 content.cmo: content.cmi 
 content.cmx: content.cmi 
 contentPp.cmo: content.cmi contentPp.cmi