diff --git a/src/util/lp/nra_solver.cpp b/src/util/lp/nra_solver.cpp2
similarity index 100%
rename from src/util/lp/nra_solver.cpp
rename to src/util/lp/nra_solver.cpp2