X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Facic_content%2F.depend;h=a0f6ba9ca740b008721a97b07f6d44efa4250c91;hb=894b08ca7d14aa7e31c35f3acb3903a1c3472a27;hp=f6399321e10908edb312decfbd18474deec07544;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/acic_content/.depend b/components/acic_content/.depend
index f6399321e..a0f6ba9ca 100644
--- a/components/acic_content/.depend
+++ b/components/acic_content/.depend
@@ -25,6 +25,6 @@ acic2astMatcher.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationPp.cmi \
 acic2astMatcher.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationPp.cmx \
     acic2astMatcher.cmi 
 termAcicContent.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationPp.cmi \
-    acic2astMatcher.cmi termAcicContent.cmi 
+    acic2content.cmi acic2astMatcher.cmi termAcicContent.cmi 
 termAcicContent.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationPp.cmx \
-    acic2astMatcher.cmx termAcicContent.cmi 
+    acic2content.cmx acic2astMatcher.cmx termAcicContent.cmi