From c3c02bfb44ae697eda1c6170111da45c64f36315 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 23 Aug 2014 13:10:24 +0200
Subject: [PATCH] Remove useless forward declarations of class tgba.

* src/tgbaalgos/compsusp.hh, src/tgbaalgos/dotty.hh,
src/tgbaalgos/emptiness.hh, src/tgbaalgos/hoaf.hh,
src/tgbaalgos/neverclaim.hh, src/tgbaalgos/randomgraph.hh,
src/tgbaalgos/simulation.hh: Here.
---
 src/tgbaalgos/compsusp.hh    | 5 ++---
 src/tgbaalgos/dotty.hh       | 1 -
 src/tgbaalgos/emptiness.hh   | 1 -
 src/tgbaalgos/hoaf.hh        | 1 -
 src/tgbaalgos/neverclaim.hh  | 2 --
 src/tgbaalgos/randomgraph.hh | 2 --
 src/tgbaalgos/simulation.hh  | 2 --
 7 files changed, 2 insertions(+), 12 deletions(-)

diff --git a/src/tgbaalgos/compsusp.hh b/src/tgbaalgos/compsusp.hh
index 7309f3e5b..2c1467407 100644
--- a/src/tgbaalgos/compsusp.hh
+++ b/src/tgbaalgos/compsusp.hh
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement
-// de l'Epita (LRDE).
+// Copyright (C) 2012, 2013, 2014 Laboratoire de Recherche et
+// Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -25,7 +25,6 @@
 
 namespace spot
 {
-  class tgba;
   class bdd_dict;
 
   /// \brief Compositional translation algorithm with resetable
diff --git a/src/tgbaalgos/dotty.hh b/src/tgbaalgos/dotty.hh
index 6405adadb..3cc0daae3 100644
--- a/src/tgbaalgos/dotty.hh
+++ b/src/tgbaalgos/dotty.hh
@@ -29,7 +29,6 @@
 
 namespace spot
 {
-  class tgba;
   class dotty_decorator;
 
   /// \ingroup tgba_io
diff --git a/src/tgbaalgos/emptiness.hh b/src/tgbaalgos/emptiness.hh
index 08325548e..51e1a3387 100644
--- a/src/tgbaalgos/emptiness.hh
+++ b/src/tgbaalgos/emptiness.hh
@@ -33,7 +33,6 @@
 
 namespace spot
 {
-  class tgba;
   struct tgba_run;
 
   /// \addtogroup emptiness_check Emptiness-checks
diff --git a/src/tgbaalgos/hoaf.hh b/src/tgbaalgos/hoaf.hh
index be3222ac9..4e157eb2d 100644
--- a/src/tgbaalgos/hoaf.hh
+++ b/src/tgbaalgos/hoaf.hh
@@ -26,7 +26,6 @@
 
 namespace spot
 {
-  class tgba;
   enum hoaf_alias { Hoaf_Alias_None, Hoaf_Alias_Ap, Hoaf_Alias_Cond };
   enum hoaf_acceptance
     {
diff --git a/src/tgbaalgos/neverclaim.hh b/src/tgbaalgos/neverclaim.hh
index fd0f19cae..eccebc48f 100644
--- a/src/tgbaalgos/neverclaim.hh
+++ b/src/tgbaalgos/neverclaim.hh
@@ -29,8 +29,6 @@
 
 namespace spot
 {
-  class tgba;
-
   /// \ingroup tgba_io
   /// \brief Print reachable states in Spin never claim format.
   ///
diff --git a/src/tgbaalgos/randomgraph.hh b/src/tgbaalgos/randomgraph.hh
index c128a9c05..490785285 100644
--- a/src/tgbaalgos/randomgraph.hh
+++ b/src/tgbaalgos/randomgraph.hh
@@ -29,8 +29,6 @@
 
 namespace spot
 {
-  class tgba;
-
   /// \ingroup tgba_misc
   /// \brief Construct a tgba randomly.
   ///
diff --git a/src/tgbaalgos/simulation.hh b/src/tgbaalgos/simulation.hh
index 2cea31187..b33a30fc6 100644
--- a/src/tgbaalgos/simulation.hh
+++ b/src/tgbaalgos/simulation.hh
@@ -25,8 +25,6 @@
 
 namespace spot
 {
-  class tgba;
-
   /// \addtogroup tgba_reduction
   /// @{