]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/extlib/.depend
moved trie data-structure
[helm.git] / helm / ocaml / extlib / .depend
index afbba1bb55afecaf277c933982f506fc1f07a102..a8bb3011ae0359256b27ad6b8023b31dbaeea8d2 100644 (file)
@@ -4,3 +4,5 @@ patternMatcher.cmo: patternMatcher.cmi
 patternMatcher.cmx: patternMatcher.cmi 
 hLog.cmo: hLog.cmi 
 hLog.cmx: hLog.cmi 
+trie.cmo: trie.cmi 
+trie.cmx: trie.cmi