From 379e0d5eb457344cb2cbb9d41541011398aa9ddd Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 19 Sep 2012 22:13:58 +0200
Subject: [PATCH] * src/tgba/tgbascc.cc: Cosmetics.

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

diff --git a/src/tgba/tgbascc.cc b/src/tgba/tgbascc.cc
index 5981da4bf..770a57320 100644
--- a/src/tgba/tgbascc.cc
+++ b/src/tgba/tgbascc.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2009  Laboratoire de recherche et développement de l'Epita.
+// Copyright (C) 2009, 2012  Laboratoire de recherche et développement de l'Epita.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -79,8 +79,7 @@ namespace spot
   }
 
   state*
-  tgba_scc::project_state(const state* s,
-					     const tgba* t) const
+  tgba_scc::project_state(const state* s, const tgba* t) const
   {
     return aut_->project_state(s, t);
   }