X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcompile.ml;h=e60ede60a4c39d570541ef8528098daf24aa6884;hb=3791216bfb2b9d966718f83fd414e8bcd5f7a066;hp=04fa7f1f4113b8fbd8319e8517ccbfb8774b20a8;hpb=92e6cc9537b4751588ecb93c99685bc91d6797a0;p=SXSI%2Fxpathcomp.git

diff --git a/src/compile.ml b/src/compile.ml
index 04fa7f1..e60ede6 100644
--- a/src/compile.ml
+++ b/src/compile.ml
@@ -196,7 +196,7 @@ and compile_path toplevel p conf =
 
 let compile path =
   let cont, conf = compile_path true path empty_info in
-  let (_, _, init), _ = Formula.st cont in
+  let init, _ = Formula.st cont in
   let get t s =
     try Hashtbl.find t s with Not_found -> []
   in