From cb6b74f5ec428867b8db4017a91d510da136836b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 28 Oct 2009 14:42:51 +0100 Subject: [PATCH] * 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 | 7 +++++++ src/tgba/tgbacomplement.cc | 7 ------- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/ChangeLog b/ChangeLog index 67a1e69be..c0da436bb 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2009-10-28 Alexandre Duret-Lutz + + * 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 * 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 {