-content2pres.cmo: cexpr2pres.cmi content_expressions.cmi mpresentation.cmi \
- content2pres.cmi
-content2pres.cmx: cexpr2pres.cmx content_expressions.cmx mpresentation.cmx \
- content2pres.cmi
-ast2pres.cmo: box.cmi cicAst.cmo ast2pres.cmi
-ast2pres.cmx: box.cmx cicAst.cmx ast2pres.cmi
-sequent2pres.cmo: cexpr2pres.cmi content_expressions.cmi mpresentation.cmi \
- sequent2pres.cmi
-sequent2pres.cmx: cexpr2pres.cmx content_expressions.cmx mpresentation.cmx \
- sequent2pres.cmi
+content2pres.cmo: box.cmi cexpr2pres.cmi content_expressions.cmi \
+ mpresentation.cmi content2pres.cmi
+content2pres.cmx: box.cmx cexpr2pres.cmx content_expressions.cmx \
+ mpresentation.cmx content2pres.cmi
+cicAstPp.cmo: cicAst.cmo cicAstPp.cmi
+cicAstPp.cmx: cicAst.cmx cicAstPp.cmi
+ast2pres.cmo: box.cmi cicAst.cmo cicAstPp.cmi ast2pres.cmi
+ast2pres.cmx: box.cmx cicAst.cmx cicAstPp.cmx ast2pres.cmi
+sequent2pres.cmo: box.cmi cexpr2pres.cmi content_expressions.cmi \
+ mpresentation.cmi sequent2pres.cmi
+sequent2pres.cmx: box.cmx cexpr2pres.cmx content_expressions.cmx \
+ mpresentation.cmx sequent2pres.cmi