X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=xPath.mli;h=e1220c1aebb49b3bd85e0603776cec3201c52b97;hb=eda0e1062076c3343ab0cfdc10e4d19d6e23c570;hp=936fddbc892800504b945b169135b3901ae293f6;hpb=d64e3a3a9ef6329caafdba848ef78427fce0d689;p=SXSI%2Fxpathcomp.git

diff --git a/xPath.mli b/xPath.mli
index 936fddb..e1220c1 100644
--- a/xPath.mli
+++ b/xPath.mli
@@ -35,5 +35,5 @@ sig
 end
 module Compile : 
 sig
-val compile : Ast.path -> Ata.t
+val compile : Ast.path -> Ata.t * (Tag.t*Ptset.t) list
 end