X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2F.depend;h=808549afc122bf5ef1d9e509f293251c68fcef15;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=6b0466b69086f192c9af00e8f522a53dc58ef836;hpb=ec54d490477ece51c19d79750dda9805ffda663c;p=helm.git

diff --git a/helm/ocaml/cic_notation/.depend b/helm/ocaml/cic_notation/.depend
index 6b0466b69..808549afc 100644
--- a/helm/ocaml/cic_notation/.depend
+++ b/helm/ocaml/cic_notation/.depend
@@ -6,6 +6,7 @@ cicNotationMatcher.cmi: cicNotationPt.cmo cicNotationEnv.cmi
 cicNotationFwd.cmi: cicNotationPt.cmo cicNotationEnv.cmi 
 cicNotationRew.cmi: cicNotationPt.cmo 
 cicNotationParser.cmi: cicNotationPt.cmo cicNotationEnv.cmi 
+cicNotationPres.cmi: cicNotationPt.cmo 
 cicNotationUtil.cmo: cicNotationPt.cmo cicNotationUtil.cmi 
 cicNotationUtil.cmx: cicNotationPt.cmx cicNotationUtil.cmi 
 cicNotationTag.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationTag.cmi 
@@ -36,3 +37,5 @@ cicNotationParser.cmo: cicNotationUtil.cmi cicNotationPt.cmo \
 cicNotationParser.cmx: cicNotationUtil.cmx cicNotationPt.cmx \
     cicNotationPp.cmx cicNotationLexer.cmx cicNotationEnv.cmx \
     cicNotationParser.cmi 
+cicNotationPres.cmo: cicNotationPt.cmo cicNotationPres.cmi 
+cicNotationPres.cmx: cicNotationPt.cmx cicNotationPres.cmi