matitaprover

[helm.git] / components / acic_content / .depend

diff --git a/components/acic_content/.depend b/components/acic_content/.depend
index f6399321e10908edb312decfbd18474deec07544..a0f6ba9ca740b008721a97b07f6d44efa4250c91 100644 (file)
--- 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