From 337aea9483d5481b2d5ba7863c232cfe69ce008b Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 17 Feb 2022 12:00:07 +0100 Subject: [PATCH] Merge leftover. --- libsolutil/LP.cpp | 7 ------- 1 file changed, 7 deletions(-) diff --git a/libsolutil/LP.cpp b/libsolutil/LP.cpp index bfd80e3af..4bff71620 100644 --- a/libsolutil/LP.cpp +++ b/libsolutil/LP.cpp @@ -487,13 +487,6 @@ bool SolvingState::Compare::operator()(SolvingState const& _a, SolvingState cons return _a.variableNames < _b.variableNames; } -{ - return - variableNames == _other.variableNames && - bounds == _other.bounds && - constraints == _other.constraints; -} - namespace { string toString(rational const& _x)