diff --git a/ChangeLog b/ChangeLog index ed123fdad..0b6bedf91 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2004-11-05 Alexandre Duret-Lutz + + * src/tgbaalgos/rundotdec.cc (tgba_run_dotty_decorator::link_decl): + Typo. + 2004-11-04 Alexandre Duret-Lutz * 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 + "]");