Discrimination and trie removed.

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

diff --git a/helm/ocaml/paramodulation/.depend b/helm/ocaml/paramodulation/.depend
index 8a74093c520f172ccbd27fd83543e81c5c268078..ec3ba7d6c7f2cc881c8cf7dde012eeb479af61dd 100644 (file)
--- a/helm/ocaml/paramodulation/.depend
+++ b/helm/ocaml/paramodulation/.depend
@@ -3,11 +3,9 @@ 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 
+path_indexing.cmo: utils.cmi inference.cmi 
+path_indexing.cmx: utils.cmx inference.cmx 
+indexing.cmo: utils.cmi inference.cmi 
+indexing.cmx: utils.cmx inference.cmx 
 saturation.cmo: utils.cmi inference.cmi indexing.cmo 
 saturation.cmx: utils.cmx inference.cmx indexing.cmx