fixed some depends

[helm.git] / helm / ocaml / tactics / paramodulation / .depend

diff --git a/helm/ocaml/tactics/paramodulation/.depend b/helm/ocaml/tactics/paramodulation/.depend
index b5dd3a819cba18aa256a944f08e5acb75a1dc33c..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
--- a/helm/ocaml/tactics/paramodulation/.depend
+++ b/helm/ocaml/tactics/paramodulation/.depend
@@ -1,12 +0,0 @@
-inference.cmi: utils.cmi 
-equality_indexing.cmi: utils.cmi inference.cmi 
-utils.cmo: utils.cmi 
-utils.cmx: utils.cmi 
-inference.cmo: utils.cmi inference.cmi 
-inference.cmx: utils.cmx inference.cmi 
-equality_indexing.cmo: utils.cmi inference.cmi equality_indexing.cmi 
-equality_indexing.cmx: utils.cmx inference.cmx equality_indexing.cmi 
-indexing.cmo: utils.cmi inference.cmi equality_indexing.cmi indexing.cmi 
-indexing.cmx: utils.cmx inference.cmx equality_indexing.cmx indexing.cmi 
-saturation.cmo: utils.cmi inference.cmi indexing.cmi 
-saturation.cmx: utils.cmx inference.cmx indexing.cmx