X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.ml;h=4ef9ccf5dd116dbd61e086f5e4d3829ac1d34b0a;hb=645b7263119a1262cbb442a3166783ad372becef;hp=fa44fd621851f5dc5c77d9eab2af8d07b4651eb0;hpb=cfd834dcdee634387ad2354f1382eeb9d816be45;p=SXSI%2Fxpathcomp.git

diff --git a/ata.ml b/ata.ml
index fa44fd6..4ef9ccf 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))
 	;;