X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcompile.ml;h=296f665cec55267554b38a50af0ba85ee3219bd0;hb=dcc638cf4072979834f404894cbedc653542374f;hp=e60ede60a4c39d570541ef8528098daf24aa6884;hpb=577e04ded43baa0582530316da40777884031dc8;p=SXSI%2Fxpathcomp.git

diff --git a/src/compile.ml b/src/compile.ml
index e60ede6..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