diff --git a/ChangeLog b/ChangeLog
index aad2cf114..1f3826d70 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2006-07-14  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgba/tgbabddconcrete.hh, src/tgba/tgbaexplicit.hh,
+	src/tgba/tgbaproduct.hh, src/tgba/tgbareduc.hh, src/tgba/tgbatba.hh:
+	Remove superfluous class qualifiers worrying gcc 4.1.2.
+
 2006-07-13  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/ltl2tgba_fm.cc
diff --git a/src/tgba/tgbabddconcrete.hh b/src/tgba/tgbabddconcrete.hh
index fec3b72e4..ffa9bca32 100644
--- a/src/tgba/tgbabddconcrete.hh
+++ b/src/tgba/tgbabddconcrete.hh
@@ -1,6 +1,6 @@
-// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
-// et Marie Curie.
+// Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris
+// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+// Université Pierre et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -88,7 +88,7 @@ namespace spot
   private:
     // Disallow copy.
     tgba_bdd_concrete(const tgba_bdd_concrete&);
-    tgba_bdd_concrete& tgba_bdd_concrete::operator=(const tgba_bdd_concrete&);
+    tgba_bdd_concrete& operator=(const tgba_bdd_concrete&);
   };
 }
 
diff --git a/src/tgba/tgbaexplicit.hh b/src/tgba/tgbaexplicit.hh
index c65419c33..78026ad7c 100644
--- a/src/tgba/tgbaexplicit.hh
+++ b/src/tgba/tgbaexplicit.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004, 2006  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -114,7 +114,7 @@ namespace spot
   private:
     // Disallow copy.
     tgba_explicit(const tgba_explicit& other);
-    tgba_explicit& tgba_explicit::operator=(const tgba_explicit& other);
+    tgba_explicit& operator=(const tgba_explicit& other);
   };
 
 
diff --git a/src/tgba/tgbaproduct.hh b/src/tgba/tgbaproduct.hh
index 182b325f2..eacd4a653 100644
--- a/src/tgba/tgbaproduct.hh
+++ b/src/tgba/tgbaproduct.hh
@@ -1,6 +1,6 @@
-// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
-// et Marie Curie.
+// Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris
+// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+// Université Pierre et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -155,7 +155,7 @@ namespace spot
     bdd neg_acceptance_conditions_;
     // Disallow copy.
     tgba_product(const tgba_product&);
-    tgba_product& tgba_product::operator=(const tgba_product&);
+    tgba_product& operator=(const tgba_product&);
   };
 
 }
diff --git a/src/tgba/tgbareduc.hh b/src/tgba/tgbareduc.hh
index 9d486b69a..47d7c8231 100644
--- a/src/tgba/tgbareduc.hh
+++ b/src/tgba/tgbareduc.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2004, 2005  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2004, 2005, 2006  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -189,7 +189,7 @@ namespace spot
     /// For compute_scc.
     void remove_component(const spot::state* from);
 
-    int tgba_reduc::nb_set_acc_cond() const;
+    int nb_set_acc_cond() const;
 
   };
 }
diff --git a/src/tgba/tgbatba.hh b/src/tgba/tgbatba.hh
index 3e6053f6f..4dfbb4a0f 100644
--- a/src/tgba/tgbatba.hh
+++ b/src/tgba/tgbatba.hh
@@ -1,6 +1,6 @@
-// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
-// et Marie Curie.
+// Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris
+// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+// Université Pierre et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -84,7 +84,7 @@ namespace spot
     bdd the_acceptance_cond_;
     // Disallow copy.
     tgba_tba_proxy(const tgba_tba_proxy&);
-    tgba_tba_proxy& tgba_tba_proxy::operator=(const tgba_tba_proxy&);
+    tgba_tba_proxy& operator=(const tgba_tba_proxy&);
   };
 
   /// \brief Degeneralize a spot::tgba on the fly, producing an SBA.