From f77f0ecae47755df6808ca67456f1c7c98021122 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Tue, 1 Mar 2022 12:28:52 +0100
Subject: [PATCH] Update libsolutil/LP.h

Co-authored-by: Bhargava Shastry <bhargava.shastry@ethereum.org>
---
 libsolutil/LP.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libsolutil/LP.h b/libsolutil/LP.h
index e5c11c2ec..cc222df2c 100644
--- a/libsolutil/LP.h
+++ b/libsolutil/LP.h
@@ -42,7 +42,7 @@ struct Constraint
 	LinearExpression data;
 	bool equality = false;
 	/// Set of literals the conjunction of which implies this constraint.
-	std::set<size_t> reasons;
+	std::set<size_t> reasons = {};
 
 	bool operator<(Constraint const& _other) const;
 	bool operator==(Constraint const& _other) const;