Misc. rewrites:

[SXSI/xpathcomp.git] / src / compile.ml

diff --git a/src/compile.ml b/src/compile.ml
index 04fa7f1..296f665 100644 (file)
--- 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