From 10095a30b7b2d9a5a61f0815e96a8162fb8d8288 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sun, 17 Sep 2023 12:25:11 -0700
Subject: [PATCH] add an include file

---
 src/math/lp/lp_bound_propagator.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
index 764ec4a52..bbddd6357 100644
--- a/src/math/lp/lp_bound_propagator.h
+++ b/src/math/lp/lp_bound_propagator.h
@@ -6,9 +6,9 @@
 */
 #pragma once
 #include <utility>
-
 #include "math/lp/lp_settings.h"
 #include "util/uint_set.h"
+#include "math/lp/implied_bound.h"
 namespace lp {
 template <typename T>
 class lp_bound_propagator {