From 1802223f08509622b24fbba93faeadbe60734f9c Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Tue, 29 May 2012 07:53:07 +0200
Subject: [PATCH] Fix typo in debugging message.

---
 src/ata.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
-- 
2.17.1