X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fata.ml;h=591fab118cbacb107e8fe7d7bfab4f56b9c95199;hb=7d26a502050836784010cabae6acedee8aa9a46c;hp=ae633d3a60636423ef6ed7187873ef05ca48facb;hpb=dcc638cf4072979834f404894cbedc653542374f;p=SXSI%2Fxpathcomp.git

diff --git a/src/ata.ml b/src/ata.ml
index ae633d3..591fab1 100644
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -268,14 +268,13 @@ let top_down_approx auto states tree =
 let get_trans ?(attributes=TagSet.empty) auto states tag =
   StateSet.fold (fun q acc ->
     List.fold_left (fun ((tr_acc, l_acc, r_acc) as acc) (ts, tr) ->
-      let ts = if ts == TagSet.star then TagSet.diff ts attributes else ts
-      in
+(*      let ts = if ts == TagSet.star then TagSet.diff ts attributes else ts
+      in *)
       let b = TagSet.mem tag ts in
-      let () = LOG(__ "transition" 3 "tag=<%s>, %s: %a7C"
+      LOG(__ "transition" 3 "tag=<%s>, %s: %a"
         (Tag.to_string tag)
         (if b then "    taking" else "not taking")
-        Transition.print tr)
-      in
+        Transition.print tr);
       if b then
         let _, _, _, f = Transition.node tr in
         let l, r = Formula.st f in