X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fparamodulation%2F.depend;h=7c6673badd8036913166e84ced5e804420e2119d;hb=b1bad322d0daf6c25f95a82c4349f057a753ab7c;hp=591ad1df82905c6de8596189ef4379113b09baef;hpb=61380673d7cff22e19041260cbba4a9cbf5c09c5;p=helm.git

diff --git a/helm/ocaml/paramodulation/.depend b/helm/ocaml/paramodulation/.depend
index 591ad1df8..7c6673bad 100644
--- a/helm/ocaml/paramodulation/.depend
+++ b/helm/ocaml/paramodulation/.depend
@@ -1,15 +1,12 @@
 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 
-path_indexing.cmo: utils.cmi trie.cmo inference.cmi 
-path_indexing.cmx: utils.cmx trie.cmx inference.cmx 
-discrimination_tree.cmo: utils.cmi trie.cmo inference.cmi 
-discrimination_tree.cmx: utils.cmx trie.cmx inference.cmx 
-indexing.cmo: utils.cmi inference.cmi discrimination_tree.cmo 
-indexing.cmx: utils.cmx inference.cmx discrimination_tree.cmx 
+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.cmx: utils.cmx inference.cmx equality_indexing.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