X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=xPath.mli;h=3ecf8683c99eeb37fe56550c99458a7d76d8465c;hb=05d12de7ce75866e7e7e19fba37720fda99c38ad;hp=e1220c1aebb49b3bd85e0603776cec3201c52b97;hpb=83aa6cf8a120ea6681402ce42ae56631fca1ddf4;p=SXSI%2Fxpathcomp.git

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