From 3281b6e9b36e197866c1b94c6da55765bcc42349 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 2 Jul 2003 14:28:24 +0000
Subject: [PATCH] spacing

---
 src/tgba/tgbabddcoredata.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tgba/tgbabddcoredata.cc b/src/tgba/tgbabddcoredata.cc
index 04fa29e90..8b540ca1e 100644
--- a/src/tgba/tgbabddcoredata.cc
+++ b/src/tgba/tgbabddcoredata.cc
@@ -109,7 +109,7 @@ namespace spot
     negacc_set &= !acc;
   }
 
-  void 
+  void
   tgba_bdd_core_data::translate(bddPair* rewrite)
   {
     relation = bdd_replace(relation, rewrite);