snapshot

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

diff --git a/helm/ocaml/cic_notation/.depend b/helm/ocaml/cic_notation/.depend
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..8d107d7619a690041a3c5ef65b7620ce20790e94 100644 (file)
--- a/helm/ocaml/cic_notation/.depend
+++ b/helm/ocaml/cic_notation/.depend
@@ -0,0 +1,7 @@
+cicNotationParser.cmi: cicNotationPt.cmo 
+cicNotationLexer.cmo: cicNotationLexer.cmi 
+cicNotationLexer.cmx: cicNotationLexer.cmi 
+cicNotationParser.cmo: cicNotationPt.cmo cicNotationLexer.cmi \
+    cicNotationParser.cmi 
+cicNotationParser.cmx: cicNotationPt.cmx cicNotationLexer.cmx \
+    cicNotationParser.cmi