X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fextlib%2F.depend;h=6f707effcd8f40c3cca0262be1d045e17b98c5d2;hb=9b077c63115106e3b61a4f06f5c03f7a059e7f45;hp=f6168c1bc823d387308d6a448108d3e09ae7641f;hpb=f3f6b451707a3feb8245717e3fa7ca25df0ce8ef;p=helm.git

diff --git a/matita/components/extlib/.depend b/matita/components/extlib/.depend
index f6168c1bc..6f707effc 100644
--- a/matita/components/extlib/.depend
+++ b/matita/components/extlib/.depend
@@ -19,8 +19,8 @@ hLog.cmo: hLog.cmi
 hLog.cmx: hLog.cmi 
 trie.cmo: trie.cmi 
 trie.cmx: trie.cmi 
-discrimination_tree.cmo: trie.cmi discrimination_tree.cmi 
-discrimination_tree.cmx: trie.cmx discrimination_tree.cmi 
+discrimination_tree.cmo: trie.cmi hExtlib.cmi discrimination_tree.cmi 
+discrimination_tree.cmx: trie.cmx hExtlib.cmx discrimination_tree.cmi 
 hTopoSort.cmo: hTopoSort.cmi 
 hTopoSort.cmx: hTopoSort.cmi 
 graphvizPp.cmo: graphvizPp.cmi