snapshot, almost working

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

diff --git a/helm/ocaml/cic_disambiguation/.depend b/helm/ocaml/cic_disambiguation/.depend
index 90354741c9a54ae5f76d6c5bbdf419c0447b4253..00cb03a9aabb2587fdc2a27faac4d288143880cd 100644 (file)
--- a/helm/ocaml/cic_disambiguation/.depend
+++ b/helm/ocaml/cic_disambiguation/.depend
@@ -1,21 +1,19 @@
 pp.cmi: ast.cmi 
-disambiguate.cmi: ast.cmi disambiguate_struct.cmo disambiguate_types.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 
-disambiguate_struct.cmo: disambiguate_types.cmi 
-disambiguate_struct.cmx: disambiguate_types.cmi 
 parser.cmo: ast.cmi lexer.cmi parser.cmi 
 parser.cmx: ast.cmi lexer.cmx parser.cmi 
-disambiguate.cmo: ast.cmi disambiguate_struct.cmo disambiguate_types.cmi \
-    parser.cmi disambiguate.cmi 
-disambiguate.cmx: ast.cmi disambiguate_struct.cmx disambiguate_types.cmi \
-    parser.cmx disambiguate.cmi 
-logic_notation.cmo: ast.cmi parser.cmi 
-logic_notation.cmx: ast.cmi parser.cmx 
-arit_notation.cmo: ast.cmi parser.cmi 
-arit_notation.cmx: ast.cmi parser.cmx 
+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