diff --git a/src/math/lp/CMakeLists.txt b/src/math/lp/CMakeLists.txt
index db6e98102..eb6e36d7d 100644
--- a/src/math/lp/CMakeLists.txt
+++ b/src/math/lp/CMakeLists.txt
@@ -6,7 +6,7 @@ z3_add_component(lp
     core_solver_pretty_printer.cpp
     dense_matrix.cpp
     eta_matrix.cpp
-    emonomials.cpp
+    emonics.cpp
     factorization.cpp
     factorization_factory_imp.cpp
     gomory.cpp
diff --git a/src/math/lp/emonomials.cpp b/src/math/lp/emonics.cpp
similarity index 99%
rename from src/math/lp/emonomials.cpp
rename to src/math/lp/emonics.cpp
index 81351c9ed..e08ef863e 100644
--- a/src/math/lp/emonomials.cpp
+++ b/src/math/lp/emonics.cpp
@@ -19,7 +19,7 @@
 
   --*/
 
-#include "math/lp/emonomials.h"
+#include "math/lp/emonics.h"
 #include "math/lp/nla_defs.h"
 #include "math/lp/nla_core.h"
 
diff --git a/src/math/lp/emonomials.h b/src/math/lp/emonics.h
similarity index 100%
rename from src/math/lp/emonomials.h
rename to src/math/lp/emonics.h
diff --git a/src/math/lp/nla_common.h b/src/math/lp/nla_common.h
index 6d69ff170..7753c167b 100644
--- a/src/math/lp/nla_common.h
+++ b/src/math/lp/nla_common.h
@@ -22,7 +22,7 @@
 #include "math/lp/nla_defs.h"
 #include "math/lp/lar_term.h"
 #include "math/lp/monic.h"
-#include "math/lp/emonomials.h"
+#include "math/lp/emonics.h"
 #include "math/lp/factorization.h"
 namespace nla {
 
diff --git a/src/math/lp/nla_core.h b/src/math/lp/nla_core.h
index 2d8c070e7..92ed6e9cf 100644
--- a/src/math/lp/nla_core.h
+++ b/src/math/lp/nla_core.h
@@ -25,7 +25,7 @@
 #include "math/lp/nla_basics_lemmas.h"
 #include "math/lp/nla_order_lemmas.h"
 #include "math/lp/nla_monotone_lemmas.h"
-#include "math/lp/emonomials.h"
+#include "math/lp/emonics.h"
 #include "math/lp/nla_settings.h"
 #include "math/lp/nex.h"
 #include "math/lp/horner.h"