From d645e0ac54488758b2c973d29860e552a89e4842 Mon Sep 17 00:00:00 2001
From: Denis Poitrenaud <Denis.Poitrenaud@lip6.fr>
Date: Wed, 8 Dec 2004 18:14:46 +0000
Subject: [PATCH] * src/tgbaalgos/emptiness.cc: Suppress a horrible space
 before a ')'.

---
 ChangeLog                  | 6 +++++-
 src/tgbaalgos/emptiness.cc | 2 +-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 730c5b377..e98626ecb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,8 @@
-2004-12-07  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
+2004-12-08  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
+
+	* src/tgbaalgos/emptiness.cc: Suppress a horrible space before a ')'.
+
+2004-12-08  Denis Poitrenaud  <Denis.Poitrenaud@lip6.fr>
 
 	* src/tgba/tgbaexplicit.hh, src/tgba/tgbaexplicit.cc
 	(set_init_state): Return a pointer to the initial state.
diff --git a/src/tgbaalgos/emptiness.cc b/src/tgbaalgos/emptiness.cc
index 9293f3d54..70f9a38c7 100644
--- a/src/tgbaalgos/emptiness.cc
+++ b/src/tgbaalgos/emptiness.cc
@@ -148,7 +148,7 @@ namespace spot
     ++number;
     seen.insert(std::make_pair(i->s, source));
 
-    for (; i != l->end(); )
+    for (; i != l->end();)
       {
         // expected outgoing transition
         bdd label = i->label;