X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2F.depend;h=3a17410ddb4b1a406f83a104547d43024d431fe7;hb=f981a524748846acc29b76b6e616af110b4ee13d;hp=da57d442c65f01fa39673e9537750177c940e48b;hpb=08ecc780b3b0a4cac7ed72cf68c310e4eeffa2c1;p=helm.git

diff --git a/helm/ocaml/cic_notation/.depend b/helm/ocaml/cic_notation/.depend
index da57d442c..3a17410dd 100644
--- 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 \