ocaml 3.09 transition

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

diff --git a/helm/ocaml/paramodulation/.depend b/helm/ocaml/paramodulation/.depend
index 591ad1df82905c6de8596189ef4379113b09baef..8a74093c520f172ccbd27fd83543e81c5c268078 100644 (file)
--- a/helm/ocaml/paramodulation/.depend
+++ b/helm/ocaml/paramodulation/.depend
@@ -11,5 +11,3 @@ indexing.cmo: utils.cmi inference.cmi discrimination_tree.cmo
 indexing.cmx: utils.cmx inference.cmx discrimination_tree.cmx 
 saturation.cmo: utils.cmi inference.cmi indexing.cmo 
 saturation.cmx: utils.cmx inference.cmx indexing.cmx 
-saturate_main.cmo: utils.cmi saturation.cmo 
-saturate_main.cmx: utils.cmx saturation.cmx