X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.ml;h=043d3d2a9153200b8d199b0b8e054af2ef21bcdb;hb=f583e10adcefdebc0a682980c8d73454eedefecf;hp=fa44fd621851f5dc5c77d9eab2af8d07b4651eb0;hpb=477c1bef21a38e8371a745da9491fd6a6aae2aa5;p=SXSI%2Fxpathcomp.git

diff --git a/ata.ml b/ata.ml
index fa44fd6..043d3d2 100644
--- a/ata.ml
+++ b/ata.ml
@@ -767,7 +767,7 @@ END
 		  in
 		  let cont = D_IF_( (fun t ctx ->
 				       let a,b = cont t ctx in
-					 register_trace t (slist,a,fl_list,first,next,ctx);
+					 register_trace tree t (slist,a,fl_list,first,next,ctx);
 					 (a,b)
 				    ) ,cont) 
 		  in
@@ -783,8 +783,8 @@ END
 	  let _,res = top_down a tree Tree.root init Tree.root 1 
 	  in 
 	    D_IGNORE_(
-	      output_trace a tree root "trace.html"
-		(RS.fold (fun t a -> IntSet.add (Tree.id t) a) res.(0) IntSet.empty),
+	      output_trace a tree "trace.html"
+		(RS.fold (fun t a -> IntSet.add (Tree.id tree t) a) res.(0) IntSet.empty),
 	      res.(0))
 	;;
 
@@ -1009,7 +1009,7 @@ END
     end
           
     let top_down_count a t = let module RI = Run(Integer) in Integer.length (RI.run_top_down a t)
-    let top_down a t = let module RI = Run(GResult) in (RI.run_top_down a t)
+    let top_down a t = let module RI = Run(IdSet) in (RI.run_top_down a t)
     let bottom_up_count a t k = let module RI = Run(Integer) in Integer.length (RI.run_bottom_up a t k)