From 38da48c5cfbd982d5e07ae503cecffbb7ad03189 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 25 Feb 2022 16:35:36 -0800
Subject: [PATCH] refactor: `LinearArith/Basic.lean` =>
 `LinearArith/Solver.lean`

---
 src/Lean/Meta/Tactic/LinearArith.lean                        | 2 +-
 src/Lean/Meta/Tactic/LinearArith/{Basic.lean => Solver.lean} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename src/Lean/Meta/Tactic/LinearArith/{Basic.lean => Solver.lean} (100%)

diff --git a/src/Lean/Meta/Tactic/LinearArith.lean b/src/Lean/Meta/Tactic/LinearArith.lean
index 139a7e7637..c746493d6a 100644
--- a/src/Lean/Meta/Tactic/LinearArith.lean
+++ b/src/Lean/Meta/Tactic/LinearArith.lean
@@ -3,5 +3,5 @@ Copyright (c) 2022 Sebastian Ullrich. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Sebastian Ullrich
 -/
-import Lean.Meta.Tactic.LinearArith.Basic
+import Lean.Meta.Tactic.LinearArith.Solver
 import Lean.Meta.Tactic.LinearArith.Nat
diff --git a/src/Lean/Meta/Tactic/LinearArith/Basic.lean b/src/Lean/Meta/Tactic/LinearArith/Solver.lean
similarity index 100%
rename from src/Lean/Meta/Tactic/LinearArith/Basic.lean
rename to src/Lean/Meta/Tactic/LinearArith/Solver.lean