fork for Matita version B

[helm.git] / matitaB / components / binaries / matitaprover / trie.ml

diff --git a/matitaB/components/binaries/matitaprover/trie.ml b/matitaB/components/binaries/matitaprover/trie.ml
new file mode 120000 (symlink)
index 0000000..d09f5ac
--- /dev/null
+++ b/matitaB/components/binaries/matitaprover/trie.ml
@@ -0,0 +1 @@
+../../extlib/trie.ml
\ No newline at end of file