From b6745482af4b9f588dbd8c2fab7023107cfcc52e Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 8 Oct 2014 16:52:30 +0200
Subject: [PATCH] * src/tgba/tgbagraph.cc: Improve comment.

---
 src/tgba/tgbagraph.cc | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/tgba/tgbagraph.cc b/src/tgba/tgbagraph.cc
index 47e8c87e0..54f03bf0c 100644
--- a/src/tgba/tgbagraph.cc
+++ b/src/tgba/tgbagraph.cc
@@ -47,9 +47,8 @@ namespace spot
 	    auto p = trmap.emplace(k, t.trans());
 	    if (!p.second)
 	      {
-		// A previous transitions exist for k, merge the
-		// condition, and schedule the transition for
-		// removal.
+		// A previous transitions exists for k.  Merge the
+		// condition, and schedule the transition for removal.
 		g_.trans_data(p.first->second).cond |= t->cond;
 		t.erase();
 	      }