diff options
Diffstat (limited to 'lib/kernel/BranchIndex.ml')
| -rw-r--r-- | lib/kernel/BranchIndex.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/kernel/BranchIndex.ml b/lib/kernel/BranchIndex.ml index d1efa9a..00bd44d 100644 --- a/lib/kernel/BranchIndex.ml +++ b/lib/kernel/BranchIndex.ml @@ -21,8 +21,8 @@ module Make (Store : Abstract.Storage.STORAGE) = struct type tree = Tree.node let empty = Tree.empty + let empty_under = Tree.empty_under let hash_of = Tree.hash_of - let persist = Tree.persist let find = Tree.find let find_branch = Tree.lookup let put_branch = Tree.insert |