From 97fad0e177fe524d8bec8be22207075ad1adb6f5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nikolaj@cs.stanford.edu>
Date: Sun, 9 Aug 2026 16:55:38 -0700
Subject: [PATCH] Update lp_bound_propagator.h

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

diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
index 4ee29a8efc..0c960833cb 100644
--- a/src/math/lp/lp_bound_propagator.h
+++ b/src/math/lp/lp_bound_propagator.h
@@ -10,6 +10,7 @@
 #include "util/uint_set.h"
 #include "math/lp/implied_bound.h"
 #include "util/vector.h"
+
 namespace lp {
     
 template <typename T>