From 992ab8985673cd44f2ceb9356083b419eec2bb86 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 19 Aug 2019 10:56:13 -0700
Subject: [PATCH] rename nla_expr.h to nex.h

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/cross_nested.h        | 2 +-
 src/math/lp/horner.h              | 2 +-
 src/math/lp/{nla_expr.h => nex.h} | 0
 src/math/lp/nla_core.cpp          | 2 +-
 src/math/lp/nla_core.h            | 2 +-
 5 files changed, 4 insertions(+), 4 deletions(-)
 rename src/math/lp/{nla_expr.h => nex.h} (100%)

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 {