Matitaweb: Fixed long-time bug with dependencies and makefiles.

[helm.git] / matitaB / components / extlib / .depend.opt

diff --git a/matitaB/components/extlib/.depend.opt b/matitaB/components/extlib/.depend.opt
index f6168c1bc823d387308d6a448108d3e09ae7641f..6f707effcd8f40c3cca0262be1d045e17b98c5d2 100644 (file)
--- 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