From a1877ab4e165d6e38ca3a29208c8cece28abbce2 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Fri, 20 Jul 2018 15:55:27 +0200
Subject: [PATCH] remove useless forward declaration

* spot/ta/taexplicit.hh,
spot/twaalgos/compsusp.hh,
spot/twaalgos/isunamb.hh,
spot/twaalgos/word.hh: Here.
---
 spot/ta/taexplicit.hh     | 3 +--
 spot/twaalgos/compsusp.hh | 4 +---
 spot/twaalgos/isunamb.hh  | 4 +---
 spot/twaalgos/word.hh     | 4 +---
 4 files changed, 4 insertions(+), 11 deletions(-)

diff --git a/spot/ta/taexplicit.hh b/spot/ta/taexplicit.hh
index 2778d7628..4f833329a 100644
--- a/spot/ta/taexplicit.hh
+++ b/spot/ta/taexplicit.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire
+// Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2018 Laboratoire
 // de Recherche et Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -32,7 +32,6 @@ namespace spot
 {
   // Forward declarations.  See below.
   class state_ta_explicit;
-  class ta_explicit_succ_iterator;
   class ta_explicit;
 
   /// Explicit representation of a spot::ta.
diff --git a/spot/twaalgos/compsusp.hh b/spot/twaalgos/compsusp.hh
index 08ed354e7..4da48f0e8 100644
--- a/spot/twaalgos/compsusp.hh
+++ b/spot/twaalgos/compsusp.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2012, 2013, 2014, 2015 Laboratoire de Recherche et
+// Copyright (C) 2012, 2013, 2014, 2015, 2018 Laboratoire de Recherche et
 // Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -24,8 +24,6 @@
 
 namespace spot
 {
-  class bdd_dict;
-
   /// \brief Compositional translation algorithm with resetable
   /// suspension.
   ///
diff --git a/spot/twaalgos/isunamb.hh b/spot/twaalgos/isunamb.hh
index da243ddc0..4ec9c48f8 100644
--- a/spot/twaalgos/isunamb.hh
+++ b/spot/twaalgos/isunamb.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2013, 2015 Laboratoire de Recherche et Developpement
+// Copyright (C) 2013, 2015, 2018 Laboratoire de Recherche et Developpement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -23,8 +23,6 @@
 
 namespace spot
 {
-  class tgba;
-
   /// \addtogroup twa_misc
   /// @{
 
diff --git a/spot/twaalgos/word.hh b/spot/twaalgos/word.hh
index 7372401f0..419b144de 100644
--- a/spot/twaalgos/word.hh
+++ b/spot/twaalgos/word.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2013, 2014, 2015, 2016 Laboratoire de Recherche et
+// Copyright (C) 2013, 2014, 2015, 2016, 2018 Laboratoire de Recherche et
 // Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -23,8 +23,6 @@
 
 namespace spot
 {
-  class bdd_dict;
-
   /// \brief An infinite word stored as a lasso.
   ///
   /// This is not exactly a word in the traditional sense because we