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>