X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.mli;fp=ata.mli;h=fe328adf18a4d7c1844abfbc8efe927681d74914;hb=f583e10adcefdebc0a682980c8d73454eedefecf;hp=e8d64b152b4f18eaadd411a9811bfbf45332b9ae;hpb=645b7263119a1262cbb442a3166783ad372becef;p=SXSI%2Fxpathcomp.git

diff --git a/ata.mli b/ata.mli
index e8d64b1..fe328ad 100644
--- a/ata.mli
+++ b/ata.mli
@@ -99,6 +99,6 @@ module IdSet : ResultSet
 module GResult : ResultSet 
 
 val top_down_count : 'a t -> Tree.t -> int
-val top_down : 'a t -> Tree.t -> GResult.t
+val top_down : 'a t -> Tree.t -> IdSet.t
 val bottom_up_count :
   'a t -> Tree.t -> [> `CONTAINS of 'b | `TAG of Tag.t ] -> int