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