snapshot

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

diff --git a/helm/ocaml/cic_notation/.depend b/helm/ocaml/cic_notation/.depend
index 6b0466b69086f192c9af00e8f522a53dc58ef836..808549afc122bf5ef1d9e509f293251c68fcef15 100644 (file)
--- 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