From 252ac75de7435207d368d70efe314f45b2d8ba21 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Mon, 7 Feb 2022 16:41:07 +0100
Subject: [PATCH] fixup! Boolean LP Solver.

---
 libsolutil/BooleanLP.cpp      | 2 +-
 libsolutil/BooleanLP.h        | 2 +-
 test/libsolutil/BooleanLP.cpp | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/libsolutil/BooleanLP.cpp b/libsolutil/BooleanLP.cpp
index 20dc27004..9720ee412 100644
--- a/libsolutil/BooleanLP.cpp
+++ b/libsolutil/BooleanLP.cpp
@@ -22,7 +22,7 @@
 #include <libsolutil/StringUtils.h>
 #include <liblangutil/Exceptions.h>
 
-#include <libsolutil/RationalVectors.h>
+#include <libsolutil/LinearExpression.h>
 
 #include <range/v3/view/enumerate.hpp>
 #include <range/v3/view/transform.hpp>
diff --git a/libsolutil/BooleanLP.h b/libsolutil/BooleanLP.h
index fedd53bb3..dd4c9302d 100644
--- a/libsolutil/BooleanLP.h
+++ b/libsolutil/BooleanLP.h
@@ -151,7 +151,7 @@ private:
 	size_t m_internalVariableCounter = 0;
 	/// Stack of state, to allow for push()/pop().
 	std::vector<State> m_state{{State{}}};
-	LPSolver m_lpSolver;
+	LPSolver m_lpSolver{false};
 };
 
 
diff --git a/test/libsolutil/BooleanLP.cpp b/test/libsolutil/BooleanLP.cpp
index 1b05cf600..7f810347b 100644
--- a/test/libsolutil/BooleanLP.cpp
+++ b/test/libsolutil/BooleanLP.cpp
@@ -17,7 +17,7 @@
 // SPDX-License-Identifier: GPL-3.0
 
 #include <libsolutil/BooleanLP.h>
-#include <libsolutil/RationalVectors.h>
+#include <libsolutil/LinearExpression.h>
 #include <libsmtutil/Sorts.h>
 #include <libsolutil/StringUtils.h>
 #include <test/Common.h>