X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.mli;h=bf9368ffe7e58fb45a51121e18fdb5f436b1bfdc;hb=4ef83e49878441a5146af5326c1b49ced4002756;hp=593a39e59463b2dd5c46b7f1f06895d7d89e2426;hpb=0cd1eaf978d6941cf063a375ddeebd1759ebcdea;p=SXSI%2Fxpathcomp.git

diff --git a/ata.mli b/ata.mli
index 593a39e..bf9368f 100644
--- a/ata.mli
+++ b/ata.mli
@@ -78,6 +78,7 @@ end
 (*module BottomUpJumpNew : 
 sig *)
   val run : t -> Tree.Binary.t -> TS.t
+  val run_count : t -> Tree.Binary.t -> int
   val run_time :  t -> Tree.Binary.t -> TS.t
 (*end *)