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