diff --git a/src/math/lp/cross_nested.h b/src/math/lp/cross_nested.h
index a5fa4021b..87fe6a512 100644
--- a/src/math/lp/cross_nested.h
+++ b/src/math/lp/cross_nested.h
@@ -19,7 +19,7 @@
   --*/
 #pragma once
 #include <functional>
-#include "math/lp/nla_expr.h"
+#include "math/lp/nex.h"
 namespace nla {
 class cross_nested {
     struct occ {
diff --git a/src/math/lp/horner.h b/src/math/lp/horner.h
index cd9d60c20..86cd14acd 100644
--- a/src/math/lp/horner.h
+++ b/src/math/lp/horner.h
@@ -21,7 +21,7 @@
 
 #include "math/lp/nla_common.h"
 #include "math/lp/nla_intervals.h"
-#include "math/lp/nla_expr.h"
+#include "math/lp/nex.h"
 #include "math/lp/cross_nested.h"
 
 namespace nla {
diff --git a/src/math/lp/nla_expr.h b/src/math/lp/nex.h
similarity index 100%
rename from src/math/lp/nla_expr.h
rename to src/math/lp/nex.h
diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 70883c5c1..73e9e67a6 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -19,7 +19,7 @@ Revision History:
 --*/
 #include "math/lp/nla_core.h"
 #include "math/lp/factorization_factory_imp.h"
-#include "math/lp/nla_expr.h"
+#include "math/lp/nex.h"
 namespace nla {
 
 core::core(lp::lar_solver& s, reslimit & lim) :
diff --git a/src/math/lp/nla_core.h b/src/math/lp/nla_core.h
index e865f11cb..5685aab1d 100644
--- a/src/math/lp/nla_core.h
+++ b/src/math/lp/nla_core.h
@@ -27,7 +27,7 @@
 #include "math/lp/nla_monotone_lemmas.h"
 #include "math/lp/emonomials.h"
 #include "math/lp/nla_settings.h"
-#include "math/lp/nla_expr.h"
+#include "math/lp/nex.h"
 #include "math/lp/horner.h"
 namespace nla {