From 9ae32ed395ef0ee18e00b10ecb92c75a7715181e Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Mon, 21 Mar 2022 11:38:12 +0100
Subject: [PATCH] fixup! Simplify tostring.

---
 libsolutil/BooleanLP.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libsolutil/BooleanLP.cpp b/libsolutil/BooleanLP.cpp
index d1cb0e524..c15efb129 100644
--- a/libsolutil/BooleanLP.cpp
+++ b/libsolutil/BooleanLP.cpp
@@ -58,9 +58,9 @@ void resizeAndSet(vector<T>& _vector, size_t _index, T _value)
 
 string toString(rational const& _x)
 {
-	if (_x == u256(1) << 256)
+	if (_x == bigint(1) << 256)
 		return "2**256";
-	else if (_x ==  (u256(1) << 256) - 1)
+	else if (_x == (bigint(1) << 256) - 1)
 		return "2**256-1";
 	else if (_x.denominator() == 1)
 		return _x.numerator().str();