From 6c1152d8197cb6e96a82226237c7d97837dd1d21 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 5 Nov 2004 06:46:47 +0000
Subject: [PATCH] * src/tgbaalgos/rundotdec.cc
 (tgba_run_dotty_decorator::link_decl): Typo.

---
 ChangeLog                  | 5 +++++
 src/tgbaalgos/rundotdec.cc | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index ed123fdad..0b6bedf91 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-11-05  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/rundotdec.cc (tgba_run_dotty_decorator::link_decl):
+	Typo.
+
 2004-11-04  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/neverclaim.cc (never_claim_bfs::process_link):
diff --git a/src/tgbaalgos/rundotdec.cc b/src/tgbaalgos/rundotdec.cc
index e61801e2f..e9bddf37c 100644
--- a/src/tgbaalgos/rundotdec.cc
+++ b/src/tgbaalgos/rundotdec.cc
@@ -129,7 +129,7 @@ namespace spot
 	if (in_prefix || in_cycle)
 	  {
 	    std::string
-	      color = in_prefix ? (in_cycle ? "violet" : "blue" ) : "red";
+	      color = in_prefix ? (in_cycle ? "violet" : "blue") : "red";
 	    return ("[label=\"" + os.str() + label
 		    + "\", style=bold, color=" + color + "]");