-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
-cexpr2pres_hashtbl.cmo: cexpr2pres.cmi content_expressions.cmi \
- mpresentation.cmi cexpr2pres_hashtbl.cmi
-cexpr2pres_hashtbl.cmx: cexpr2pres.cmx content_expressions.cmx \
- mpresentation.cmx cexpr2pres_hashtbl.cmi
+ast2pres.cmo: box.cmi cicAst.cmo mpresentation.cmi ast2pres.cmi
+ast2pres.cmx: box.cmx cicAst.cmx mpresentation.cmx ast2pres.cmi
+content2pres.cmo: acic2Ast.cmi ast2pres.cmi box.cmi mpresentation.cmi \
+ content2pres.cmi
+content2pres.cmx: acic2Ast.cmx ast2pres.cmx box.cmx mpresentation.cmx \
+ content2pres.cmi
+sequent2pres.cmo: acic2Ast.cmi ast2pres.cmi box.cmi mpresentation.cmi \
+ sequent2pres.cmi
+sequent2pres.cmx: acic2Ast.cmx ast2pres.cmx box.cmx mpresentation.cmx \
+ sequent2pres.cmi