X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=xPath.mli;fp=xPath.mli;h=6d8d8a7b6134b656f5223ee6b29dac9ad4e7d081;hb=09870a49122b3d7048422818dbb0a038513b4d14;hp=3ecf8683c99eeb37fe56550c99458a7d76d8465c;hpb=497ac3f74338faede9a844f5940857f55c0e9b64;p=SXSI%2Fxpathcomp.git

diff --git a/xPath.mli b/xPath.mli
index 3ecf868..6d8d8a7 100644
--- a/xPath.mli
+++ b/xPath.mli
@@ -35,5 +35,5 @@ sig
 end
 module Compile : 
 sig
-val compile : Ast.path -> 'a Ata.t * (Tag.t*Ptset.t) list * string option
+val compile : ?querystring:string -> Ast.path -> 'a Ata.t * (Tag.t*Ata.StateSet.t) list * string option
 end