X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.ml;fp=ata.ml;h=3959ccfeddddfda6f44adad55674510a6df298c8;hb=1ff2494510cb02d136cbde3a064c0c8c94ec4216;hp=4ea20676825e0ab895e3bd12b3929c106595db22;hpb=609094fe14ca90cd5417ee22de621f76d1d0ec94;p=SXSI%2Fxpathcomp.git

diff --git a/ata.ml b/ata.ml
index 4ea2067..3959ccf 100644
--- a/ata.ml
+++ b/ata.ml
@@ -1038,7 +1038,7 @@ END
 				     (ts,t)  ->
 				       if (TagSet.mem tag ts)
 				       then 
-					 let _,_,_,f,_ = Transition.node t in
+					 let _,_,_,f,_ = t.Transition.node in
 					 let (child,desc,below),(sibl,foll,after) = Formula.st f in
 					   (Formlist.cons t fl_acc,
 					    StateSet.union ll_acc below,