diff --git a/ChangeLog b/ChangeLog
index 67a1e69be..c0da436bb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2009-10-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgba/tgbacomplement.cc (state_complement): Remove the copy
+	constructor.  It does the same thing as the default copy
+	constructor, and g++ 4.2.3 complained that the copy constructor
+	of spot::state was not called.  Reported by Denis Poitrenaud.
+
 2009-10-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/ltlast/formula_tree.cc (instanciate, arity): Add a useless
diff --git a/src/tgba/tgbacomplement.cc b/src/tgba/tgbacomplement.cc
index 830aff79a..6f4f21639 100644
--- a/src/tgba/tgbacomplement.cc
+++ b/src/tgba/tgbacomplement.cc
@@ -108,7 +108,6 @@ namespace spot
     {
     public:
       state_complement();
-      state_complement(const state_complement& other);
       state_complement(state_rank_map state_map, state_set state_filter);
       virtual ~state_complement() {}
 
@@ -135,12 +134,6 @@ namespace spot
     {
     }
 
-    state_complement::state_complement(const state_complement& other)
-    {
-      state_map_ = other.state_map_;
-      state_filter_ = other.state_filter_;
-    }
-
     int
     state_complement::compare(const state* o) const
     {