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>