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

diff --git a/src/compile.ml b/src/compile.ml
index 04fa7f1..296f665 100644
--- a/src/compile.ml
+++ b/src/compile.ml
@@ -65,10 +65,9 @@ let rec compile_step toplevel (axis, test, _) state cont conf last =
       let loop =  loopfun (`Left *+ state) (`Right *+ state) in
       let phi = mk_phi toplevel cont loop in
       ( [ (Transition.make (state, test, marking, phi));
-	  (Transition.make (state, TagSet.any, false, loop));
-	      (*(Transition.make (state, TagSet.any, false, `Right *+ state)) *)
-	],
-	(`Left *+ state))
+          (Transition.make (state, TagSet.any, false, loop));
+        ],
+        (`Left *+ state))
 
     | _ -> assert false
   in
@@ -196,7 +195,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