X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fata.mli;h=74966b1f81f3c6c02124182130fc36e3ab89b290;hb=dcc638cf4072979834f404894cbedc653542374f;hp=9fa9d67286ac3720beeeb2d146fd6988c1a235b7;hpb=577e04ded43baa0582530316da40777884031dc8;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