X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fbitvector.mli;fp=src%2Fbitvector.mli;h=b56ff2c4e65d4184bcdc01c7ef78e62f205fdc92;hp=a7131850526839c866191a1deaac393ca589c144;hb=c5480c3711c7431e70f78871c738f2d86ecb96ac;hpb=72818d02fb469c39a3d8043300152beae3e7e162

diff --git a/src/bitvector.mli b/src/bitvector.mli
index a713185..b56ff2c 100644
--- a/src/bitvector.mli
+++ b/src/bitvector.mli
@@ -1,6 +1,7 @@
 type t
 
 val create : ?init:bool -> int -> t
+val alloc :  int -> t
 val length : t -> int
 val set : t -> int -> bool -> unit
 val get : t -> int -> bool