snapshot, notably:

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

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