From 76dd9dcc8a0a0137c2510779efbca8ab660ef5a8 Mon Sep 17 00:00:00 2001
From: hrkrshnn <webmail.hari@gmail.com>
Date: Tue, 30 Mar 2021 11:49:31 +0200
Subject: [PATCH] Solver::constantValue can now take bigint instead of size_t

---
 libyul/optimiser/Solver.cpp | 2 +-
 libyul/optimiser/Solver.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/libyul/optimiser/Solver.cpp b/libyul/optimiser/Solver.cpp
index aae7b22cb..151ee64a2 100644
--- a/libyul/optimiser/Solver.cpp
+++ b/libyul/optimiser/Solver.cpp
@@ -102,7 +102,7 @@ smtutil::Expression Solver::booleanValue(smtutil::Expression _value) const
 	return smtutil::Expression::ite(_value, constantValue(1), constantValue(0));
 }
 
-smtutil::Expression Solver::constantValue(size_t _value) const
+smtutil::Expression Solver::constantValue(bigint _value) const
 {
 	return _value;
 }
diff --git a/libyul/optimiser/Solver.h b/libyul/optimiser/Solver.h
index e9f492901..0f632e32f 100644
--- a/libyul/optimiser/Solver.h
+++ b/libyul/optimiser/Solver.h
@@ -72,7 +72,7 @@ protected:
 
 	virtual std::shared_ptr<smtutil::Sort> defaultSort() const;
 	virtual smtutil::Expression booleanValue(smtutil::Expression _value) const;
-	virtual smtutil::Expression constantValue(size_t _value) const;
+	virtual smtutil::Expression constantValue(bigint _value) const;
 	virtual smtutil::Expression literalValue(Literal const& _literal) const;
 	virtual smtutil::Expression unsignedToSigned(smtutil::Expression _value);
 	virtual smtutil::Expression signedToUnsigned(smtutil::Expression _value);