X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2F.depend;h=2c5d651407945e81f2bcbbb232ef911845f7e968;hb=683978a2627cf1ce15673360f26806593d22f7b5;hp=60e25ecd80fab06b1973720ef9bbd3068f8a9876;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/content_pres/.depend b/helm/software/components/content_pres/.depend
index 60e25ecd8..2c5d65140 100644
--- a/helm/software/components/content_pres/.depend
+++ b/helm/software/components/content_pres/.depend
@@ -1,5 +1,5 @@
 cicNotationPres.cmi: mpresentation.cmi box.cmi 
-boxPp.cmi: cicNotationPres.cmi 
+boxPp.cmi: mpresentation.cmi cicNotationPres.cmi box.cmi 
 content2pres.cmi: cicNotationPres.cmi 
 sequent2pres.cmi: cicNotationPres.cmi 
 renderingAttrs.cmo: renderingAttrs.cmi