* 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.

ChangeLog

+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

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
     {