X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2F.depend;h=591ad1df82905c6de8596189ef4379113b09baef;hb=67906d4803b6bb6740382d8cbd31d8c0e7322c7d;hp=8a74093c520f172ccbd27fd83543e81c5c268078;hpb=7b56e4ccf2c4e4a36c6b4062891d48407baf980a;p=helm.git

diff --git a/helm/ocaml/paramodulation/.depend b/helm/ocaml/paramodulation/.depend
index 8a74093c5..591ad1df8 100644
--- a/helm/ocaml/paramodulation/.depend
+++ b/helm/ocaml/paramodulation/.depend
@@ -11,3 +11,5 @@ 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