Add command line option to disable caching and jumping

[SXSI/xpathcomp.git] / src / l2JIT.mli

diff --git a/src/l2JIT.mli b/src/l2JIT.mli
index c4a7578..3e1641d 100644 (file)
--- 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