X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fata.ml;h=591fab118cbacb107e8fe7d7bfab4f56b9c95199;hb=744e0c89a77d0eb82c64a98d8a8a6860af875653;hp=8590a8e26cd594d6bf9115cb8d77aa914b17013d;hpb=431946f30b0733498ffa731cfa97692b2c942208;p=SXSI%2Fxpathcomp.git diff --git a/src/ata.ml b/src/ata.ml index 8590a8e..591fab1 100644 --- a/src/ata.ml +++ b/src/ata.ml @@ -271,7 +271,7 @@ let get_trans ?(attributes=TagSet.empty) auto states tag = (* let ts = if ts == TagSet.star then TagSet.diff ts attributes else ts in *) let b = TagSet.mem tag ts in - 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);