Misc. rewrites:

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

diff --git a/src/ata.mli b/src/ata.mli
index 9fa9d67..74966b1 100644 (file)
--- 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