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)