merge from branch stable-succint-jumping

[SXSI/xpathcomp.git] / xPath.mli

diff --git a/xPath.mli b/xPath.mli
index e1220c1..23235d7 100644 (file)
--- 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 -> Ata.t * (Tag.t*Ptset.t) list * string option
 end