X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fbp.ml;h=7dc4b49408a9c0cbb3b8d203c32a560d3b73efc9;hb=7e27afe6fa006ad355237ccc0695c6493ea57929;hp=e230931f5ac9806effe1b498beaaac2ee65f16a3;hpb=3dc9065cb7e4b38bf25e6fb50017efa5b11de4ff;p=SXSI%2Fxpathcomp.git diff --git a/src/bp.ml b/src/bp.ml index e230931..7dc4b49 100644 --- a/src/bp.ml +++ b/src/bp.ml @@ -30,6 +30,7 @@ let bitmap_push_back b i = type t external bp_construct : cbitmap -> int -> t = "caml_bp_construct" +external alloc_stats : unit -> int = "caml_bp_alloc_stats" external save : t -> Unix.file_descr -> unit = "caml_bp_save" external load : Unix.file_descr -> t = "caml_bp_load" external first_child : t -> int -> int = "caml_bp_first_child" "noalloc"