cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge leftover.

Browse Source
This commit is contained in:
chriseth 2022-02-17 12:00:07 +01:00
parent 696515fe69
commit 337aea9483
1 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
libsolutil/LP.cpp
View File

@ -487,13 +487,6 @@ bool SolvingState::Compare::operator()(SolvingState const& _a, SolvingState cons
return _a.variableNames < _b.variableNames; return _a.variableNames < _b.variableNames;
} }
{
return
variableNames == _other.variableNames &&
bounds == _other.bounds &&
constraints == _other.constraints;
}
namespace namespace
{ {
string toString(rational const& _x) string toString(rational const& _x)