From 5b37426cad388922aee7a1676e72679e4d594b57 Mon Sep 17 00:00:00 2001
From: Mate Soos <mate.soos@ethereum.org>
Date: Fri, 1 Jul 2022 23:55:19 +0200
Subject: [PATCH] Fixing bug

---
 libsolutil/CDCL.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/libsolutil/CDCL.cpp b/libsolutil/CDCL.cpp
index 70770420f..16861af07 100644
--- a/libsolutil/CDCL.cpp
+++ b/libsolutil/CDCL.cpp
@@ -278,10 +278,10 @@ std::pair<Clause, size_t> CDCL::analyze(Clause _conflictClause)
 
 void CDCL::addClause(Clause _clause)
 {
-	uint64_t max_var = (uint32_t)m_activity.size();
-	uint64_t new_max_var = 0;
+	uint64_t max_var = (uint64_t)m_activity.size();
+	uint64_t new_max_var = max_var;
 	for(auto const& l: _clause) {
-		new_max_var = std::max<uint64_t>(l.variable+1, max_var);
+		new_max_var = std::max<uint64_t>(l.variable+1, new_max_var);
 	}
 	int64_t to_add = (int64_t)new_max_var - (int64_t)max_var;
 	if (to_add > 0) {