*** empty log message ***

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

diff --git a/helm/ocaml/cic_notation/.depend b/helm/ocaml/cic_notation/.depend
index da57d442c65f01fa39673e9537750177c940e48b..3a17410ddb4b1a406f83a104547d43024d431fe7 100644 (file)
--- a/helm/ocaml/cic_notation/.depend
+++ b/helm/ocaml/cic_notation/.depend
@@ -9,6 +9,7 @@ cicNotationRew.cmi: cicNotationPt.cmo
 cicNotationParser.cmi: cicNotationPt.cmo cicNotationEnv.cmi 
 grafiteParser.cmi: grafiteAst.cmo cicNotationPt.cmo 
 cicNotationPres.cmi: mpresentation.cmi cicNotationPt.cmo box.cmi 
+boxPp.cmi: cicNotationPres.cmi 
 cicNotation.cmi: grafiteAst.cmo 
 grafiteAst.cmo: cicNotationPt.cmo 
 grafiteAst.cmx: cicNotationPt.cmx 
@@ -64,6 +65,10 @@ cicNotationPres.cmo: renderingAttrs.cmi mpresentation.cmi cicNotationUtil.cmi \
 cicNotationPres.cmx: renderingAttrs.cmx mpresentation.cmx cicNotationUtil.cmx \
     cicNotationPt.cmx cicNotationPres.cmx cicNotationPp.cmx box.cmx \
     cicNotationPres.cmi 
+boxPp.cmo: renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi box.cmi \
+    boxPp.cmi 
+boxPp.cmx: renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
+    boxPp.cmi 
 cicNotation.cmo: grafiteParser.cmi grafiteAst.cmo cicNotationRew.cmi \
     cicNotationParser.cmi cicNotationFwd.cmi cicNotation.cmi 
 cicNotation.cmx: grafiteParser.cmx grafiteAst.cmx cicNotationRew.cmx \