From 684e72de07024838f568170bf89c827c2a8f1a0a Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Wed, 16 Feb 2022 22:13:03 +0100
Subject: [PATCH] fixup! Boolean LP Solver.

---
 libsolutil/BooleanLP.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libsolutil/BooleanLP.cpp b/libsolutil/BooleanLP.cpp
index 87f02be42..8b58f8062 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>