X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fextlib%2F.depend.opt;h=6f707effcd8f40c3cca0262be1d045e17b98c5d2;hb=0c547d79d0edc850787ac27edc25565aa271ec2a;hp=f6168c1bc823d387308d6a448108d3e09ae7641f;hpb=ce3cfcf5a01502918da07b8e13d8a4be93dc9fa2;p=helm.git

diff --git a/matitaB/components/extlib/.depend.opt b/matitaB/components/extlib/.depend.opt
index f6168c1bc..6f707effc 100644
--- a/matitaB/components/extlib/.depend.opt
+++ b/matitaB/components/extlib/.depend.opt
@@ -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