X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fl2JIT.mli;h=3e1641daaeeba83b5705fbdd38667af53ffeca1e;hb=efbad47ef803e878d25dbbc4e8c9e844b6a2eea0;hp=c4a757838521ad22fc5c2d3a1e5c297899f15b2d;hpb=e1ae19bec9b516d8a531790bba6fb231c17c9862;p=SXSI%2Fxpathcomp.git

diff --git a/src/l2JIT.mli b/src/l2JIT.mli
index c4a7578..3e1641d 100644
--- a/src/l2JIT.mli
+++ b/src/l2JIT.mli
@@ -44,3 +44,4 @@ val add : t -> int -> StateSet.Node.t -> opcode -> unit
 val compile : t -> Ata.t -> Tree.t -> TagSet.elt -> StateSet.t -> opcode
 
 val get_transitions : opcode -> Translist.t
+val init : unit -> unit