- removed some unneeded dependencies from debian/control

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

diff --git a/helm/ocaml/cic_disambiguation/.depend b/helm/ocaml/cic_disambiguation/.depend
index 16d57692ab8b70e04ab885d060a8267772ba73bb..00cb03a9aabb2587fdc2a27faac4d288143880cd 100644 (file)
--- a/helm/ocaml/cic_disambiguation/.depend
+++ b/helm/ocaml/cic_disambiguation/.depend
@@ -1,9 +1,19 @@
 pp.cmi: ast.cmi 
+disambiguate.cmi: ast.cmi disambiguate_types.cmi 
+parser.cmi: ast.cmi 
+disambiguate_types.cmo: disambiguate_types.cmi 
+disambiguate_types.cmx: disambiguate_types.cmi 
 pp.cmo: ast.cmi pp.cmi 
 pp.cmx: ast.cmi pp.cmi 
 macro.cmo: macro.cmi 
 macro.cmx: macro.cmi 
 lexer.cmo: macro.cmi lexer.cmi 
 lexer.cmx: macro.cmx lexer.cmi 
-parser.cmo: ast.cmi lexer.cmi 
-parser.cmx: ast.cmi lexer.cmx 
+parser.cmo: ast.cmi lexer.cmi parser.cmi 
+parser.cmx: ast.cmi lexer.cmx parser.cmi 
+disambiguate.cmo: ast.cmi disambiguate_types.cmi parser.cmi disambiguate.cmi 
+disambiguate.cmx: ast.cmi disambiguate_types.cmx parser.cmx disambiguate.cmi 
+logic_notation.cmo: ast.cmi disambiguate.cmi parser.cmi 
+logic_notation.cmx: ast.cmi disambiguate.cmx parser.cmx 
+arit_notation.cmo: ast.cmi disambiguate.cmi parser.cmi 
+arit_notation.cmx: ast.cmi disambiguate.cmx parser.cmx