Removed testing cruft

[SXSI/xpathcomp.git] / xPath.ml

diff --git a/xPath.ml b/xPath.ml
index 2c520a1..23c5fc6 100644 (file)
--- a/xPath.ml
+++ b/xPath.ml
@@ -350,7 +350,9 @@ let rec compile_step  ?(existential=false) conf q_src dir ctx_path step num =
                       then `True (*`Right(fun t -> 
                                     TagSet.exists (fun tag -> Tree.Binary.has_tagged_foll t tag)
                                       test)  *)
-                      else `True )>=> `Right ** q_src 
+                      else `True )>=> 
+           if ex then  ( Ata.atom_ `Left false q_src) *& `Right ** q_src
+           else `Right ** q_src 
        in
        let _ = add_trans num conf.tr_aux t3      
        in
@@ -544,7 +546,7 @@ let compile path =
                 Ata.phi = phi;
                 Ata.delta = Hashtbl.create 17;
                 Ata.sigma = Ata.HTagSet.create 17;
-              }
+              },[]
             
                 
 end