bug in state comparison. If 2 states are actually the same object, return true, not false

This commit is contained in:
Hieu Hoang 2016-12-06 13:23:26 +00:00
parent a0182da3c9
commit e8a6677bbb
2 changed files with 2 additions and 2 deletions

View File

@ -54,7 +54,7 @@ size_t BidirectionalReorderingState::hash() const
bool BidirectionalReorderingState::operator==(const FFState& o) const
{
if (&o == this) return 0;
if (&o == this) return true;
BidirectionalReorderingState const &other =
static_cast<BidirectionalReorderingState const&>(o);

View File

@ -15,7 +15,7 @@ size_t BidirectionalReorderingState::hash() const
bool BidirectionalReorderingState::operator==(const FFState& o) const
{
if (&o == this) return 0;
if (&o == this) return true;
BidirectionalReorderingState const &other
= static_cast<BidirectionalReorderingState const&>(o);