X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fata.mli;h=74966b1f81f3c6c02124182130fc36e3ab89b290;hb=744e0c89a77d0eb82c64a98d8a8a6860af875653;hp=9fa9d67286ac3720beeeb2d146fd6988c1a235b7;hpb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;p=SXSI%2Fxpathcomp.git

diff --git a/src/ata.mli b/src/ata.mli
index 9fa9d67..74966b1 100644
--- a/src/ata.mli
+++ b/src/ata.mli
@@ -21,6 +21,8 @@ type jump_kind =
   | JUMP_MANY of Ptset.Int.t
   | CAPTURE_MANY of Ptset.Int.t
 
+val print_kind : Format.formatter -> jump_kind -> unit
+
 val top_down_approx : t -> StateSet.t -> Tree.t -> jump_kind
 
 val init : unit -> unit