X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fbp.mli;h=55e5723714d715a734cbbc51c6182a1286db2736;hb=744e0c89a77d0eb82c64a98d8a8a6860af875653;hp=705349335f61396827944d2dd994912e4176db2f;hpb=3dc9065cb7e4b38bf25e6fb50017efa5b11de4ff;p=SXSI%2Fxpathcomp.git

diff --git a/src/bp.mli b/src/bp.mli
index 7053493..55e5723 100644
--- a/src/bp.mli
+++ b/src/bp.mli
@@ -13,3 +13,4 @@ external first_child : t -> int -> int = "caml_bp_first_child" "noalloc"
 external next_sibling : t -> int -> int = "caml_bp_next_sibling" "noalloc"
 external preorder_rank : t -> int -> int = "caml_bp_preorder_rank" "noalloc"
 
+val alloc_stats : unit -> int