diff --git a/src/math/lp/lp_settings.cpp b/src/math/lp/lp_settings.cpp
index 62432320e..0a1a0cd54 100644
--- a/src/math/lp/lp_settings.cpp
+++ b/src/math/lp/lp_settings.cpp
@@ -44,5 +44,5 @@ void lp::lp_settings::updt_params(params_ref const& _p) {
     m_dio_calls_period = lp_p.dio_calls_period();
     m_dio_run_gcd = lp_p.dio_run_gcd();
     m_max_conflicts = p.max_conflicts();
-    m_enable_relevancy = lp.enable_relevancy();
+    m_enable_relevancy = lp_p.enable_relevancy();
 }