snapshot

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

diff --git a/helm/ocaml/cic_notation/.depend b/helm/ocaml/cic_notation/.depend
index 808549afc122bf5ef1d9e509f293251c68fcef15..6eae806d5ed56da9eca1aa2fab890e1f6deefb80 100644 (file)
--- a/helm/ocaml/cic_notation/.depend
+++ b/helm/ocaml/cic_notation/.depend
@@ -4,8 +4,8 @@ cicNotationEnv.cmi: cicNotationPt.cmo
 cicNotationPp.cmi: cicNotationPt.cmo cicNotationEnv.cmi 
 cicNotationMatcher.cmi: cicNotationPt.cmo cicNotationEnv.cmi 
 cicNotationFwd.cmi: cicNotationPt.cmo cicNotationEnv.cmi 
-cicNotationRew.cmi: cicNotationPt.cmo 
 cicNotationParser.cmi: cicNotationPt.cmo cicNotationEnv.cmi 
+cicNotationRew.cmi: cicNotationPt.cmo 
 cicNotationPres.cmi: cicNotationPt.cmo 
 cicNotationUtil.cmo: cicNotationPt.cmo cicNotationUtil.cmi 
 cicNotationUtil.cmx: cicNotationPt.cmx cicNotationUtil.cmi 
@@ -27,15 +27,19 @@ cicNotationFwd.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationEnv.cmi \
     cicNotationFwd.cmi 
 cicNotationFwd.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationEnv.cmx \
     cicNotationFwd.cmi 
-cicNotationRew.cmo: cicNotationUtil.cmi cicNotationPt.cmo \
-    cicNotationMatcher.cmi cicNotationEnv.cmi cicNotationRew.cmi 
-cicNotationRew.cmx: cicNotationUtil.cmx cicNotationPt.cmx \
-    cicNotationMatcher.cmx cicNotationEnv.cmx cicNotationRew.cmi 
 cicNotationParser.cmo: cicNotationUtil.cmi cicNotationPt.cmo \
     cicNotationPp.cmi cicNotationLexer.cmi cicNotationEnv.cmi \
     cicNotationParser.cmi 
 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 
+cicNotationRew.cmo: cicNotationUtil.cmi cicNotationPt.cmo \
+    cicNotationParser.cmi cicNotationMatcher.cmi cicNotationEnv.cmi \
+    cicNotationRew.cmi 
+cicNotationRew.cmx: cicNotationUtil.cmx cicNotationPt.cmx \
+    cicNotationParser.cmx cicNotationMatcher.cmx cicNotationEnv.cmx \
+    cicNotationRew.cmi 
+cicNotationPres.cmo: cicNotationPt.cmo cicNotationPres.cmi cicNotationPp.cmi \
+    cicNotationPres.cmi 
+cicNotationPres.cmx: cicNotationPt.cmx cicNotationPres.cmx cicNotationPp.cmx \
+    cicNotationPres.cmi