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

Tiny tweak.

Browse Source
This commit is contained in:
chriseth 2022-03-24 00:31:52 +01:00
parent 65b1636867
commit b5aa534c43
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libsolutil/LP.cpp
View File

@ -595,9 +595,6 @@ pair<LPResult, variant<map<size_t, rational>, ReasonSet>> SolvingStateSimplifier
return {LPResult::Infeasible, move(*conflict)}; return {LPResult::Infeasible, move(*conflict)};
if (auto conflict = extractDirectConstraints()) if (auto conflict = extractDirectConstraints())
return {LPResult::Infeasible, move(*conflict)}; return {LPResult::Infeasible, move(*conflict)};
// Used twice on purpose
if (auto conflict = removeFixedVariables())
return {LPResult::Infeasible, move(*conflict)};
// TODO we cannot do this anymore because it would // TODO we cannot do this anymore because it would
// mess up the variable numbering // mess up the variable numbering
// removeEmptyColumns(); // removeEmptyColumns();