Big commit to let Ferruccio try the merge_coercion patch.

[helm.git] / helm / ocaml / content_pres / .depend

diff --git a/helm/ocaml/content_pres/.depend b/helm/ocaml/content_pres/.depend
index 781c9e45bcf39c2635a055b62e16528c5be42d41..60e25ecd80fab06b1973720ef9bbd3068f8a9876 100644 (file)
--- 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