X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcontent_pres%2F.depend;h=60e25ecd80fab06b1973720ef9bbd3068f8a9876;hb=b1bad322d0daf6c25f95a82c4349f057a753ab7c;hp=781c9e45bcf39c2635a055b62e16528c5be42d41;hpb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;p=helm.git

diff --git a/helm/ocaml/content_pres/.depend b/helm/ocaml/content_pres/.depend
index 781c9e45b..60e25ecd8 100644
--- a/helm/ocaml/content_pres/.depend
+++ b/helm/ocaml/content_pres/.depend
@@ -26,11 +26,11 @@ boxPp.cmo: renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi box.cmi \
     boxPp.cmi 
 boxPp.cmx: renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
     boxPp.cmi 
-content2pres.cmo: renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi \
-    box.cmi content2pres.cmi 
-content2pres.cmx: renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx \
-    box.cmx content2pres.cmi 
-sequent2pres.cmo: mpresentation.cmi cicNotationPres.cmi box.cmi \
-    sequent2pres.cmi 
-sequent2pres.cmx: mpresentation.cmx cicNotationPres.cmx box.cmx \
-    sequent2pres.cmi 
+content2pres.cmo: termContentPres.cmi renderingAttrs.cmi mpresentation.cmi \
+    cicNotationPres.cmi box.cmi content2pres.cmi 
+content2pres.cmx: termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
+    cicNotationPres.cmx box.cmx content2pres.cmi 
+sequent2pres.cmo: termContentPres.cmi mpresentation.cmi cicNotationPres.cmi \
+    box.cmi sequent2pres.cmi 
+sequent2pres.cmx: termContentPres.cmx mpresentation.cmx cicNotationPres.cmx \
+    box.cmx sequent2pres.cmi