diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 321467740..25e9d9576 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -45,7 +45,7 @@
 #include "ast/ast_pp.h"
 #include "util/cancel_eh.h"
 #include "util/scoped_timer.h"
-#include "util/lp/niil_solver.h"
+#include "util/lp/nla_solver.h"
 
 namespace lp_api {
 enum bound_kind { lower_t, upper_t };
diff --git a/src/util/lp/CMakeLists.txt b/src/util/lp/CMakeLists.txt
index 082188635..3af8fdb0b 100644
--- a/src/util/lp/CMakeLists.txt
+++ b/src/util/lp/CMakeLists.txt
@@ -22,7 +22,7 @@ z3_add_component(lp
     lp_utils.cpp
     matrix.cpp
     mon_eq.cpp
-    niil_solver.cpp
+    nla_solver.cpp
     nra_solver.cpp
     permutation_matrix.cpp
     random_updater.cpp      
diff --git a/src/util/lp/niil_solver.cpp b/src/util/lp/nla_solver.cpp
similarity index 99%
rename from src/util/lp/niil_solver.cpp
rename to src/util/lp/nla_solver.cpp
index 63d57d4be..af215334b 100644
--- a/src/util/lp/niil_solver.cpp
+++ b/src/util/lp/nla_solver.cpp
@@ -17,7 +17,7 @@
 
 
   --*/
-#include "util/lp/niil_solver.h"
+#include "util/lp/nla_solver.h"
 #include "util/map.h"
 #include "util/lp/mon_eq.h"
 #include "util/lp/lp_utils.h"
diff --git a/src/util/lp/niil_solver.h b/src/util/lp/nla_solver.h
similarity index 100%
rename from src/util/lp/niil_solver.h
rename to src/util/lp/nla_solver.h