snapshot (first version with working pattern matching both 3->2 and 2->1)

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

diff --git a/helm/ocaml/cic_notation/.depend b/helm/ocaml/cic_notation/.depend
index 980ae12607a378dc91218d24b4b42b50681b6fa8..cd88731841d2e07691095844d672cf205efb0393 100644 (file)
--- a/helm/ocaml/cic_notation/.depend
+++ b/helm/ocaml/cic_notation/.depend
@@ -17,11 +17,9 @@ cicNotationEnv.cmx: cicNotationPt.cmx cicNotationEnv.cmi
 cicNotationPp.cmo: cicNotationPt.cmo cicNotationEnv.cmi cicNotationPp.cmi 
 cicNotationPp.cmx: cicNotationPt.cmx cicNotationEnv.cmx cicNotationPp.cmi 
 cicNotationMatcher.cmo: cicNotationUtil.cmi cicNotationTag.cmi \
-    cicNotationPt.cmo cicNotationPp.cmi cicNotationEnv.cmi \
-    cicNotationMatcher.cmi 
+    cicNotationPt.cmo cicNotationEnv.cmi cicNotationMatcher.cmi 
 cicNotationMatcher.cmx: cicNotationUtil.cmx cicNotationTag.cmx \
-    cicNotationPt.cmx cicNotationPp.cmx cicNotationEnv.cmx \
-    cicNotationMatcher.cmi 
+    cicNotationPt.cmx cicNotationEnv.cmx cicNotationMatcher.cmi 
 cicNotationFwd.cmo: cicNotationUtil.cmi cicNotationPt.cmo cicNotationEnv.cmi \
     cicNotationFwd.cmi 
 cicNotationFwd.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationEnv.cmx \