From 42cc7c7f872fde48a3c3ad4dd396a23a4cb19403 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 7 Feb 2018 15:53:24 -0800
Subject: [PATCH] remove file

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/lp/{nra_solver.cpp => nra_solver.cpp2} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/util/lp/{nra_solver.cpp => nra_solver.cpp2} (100%)

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