From 386311bc3077d9118ca363cf9dc5c91cb77a2e6d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 12 Apr 2024 16:57:42 +0200
Subject: Reorganize the files in the Lean backend a bit

---
 backends/lean/Base/Primitives/ArraySlice.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backends/lean/Base/Primitives/ArraySlice.lean')

diff --git a/backends/lean/Base/Primitives/ArraySlice.lean b/backends/lean/Base/Primitives/ArraySlice.lean
index 91ca7284..157f9df1 100644
--- a/backends/lean/Base/Primitives/ArraySlice.lean
+++ b/backends/lean/Base/Primitives/ArraySlice.lean
@@ -6,7 +6,7 @@ import Mathlib.Tactic.Linarith
 import Base.IList
 import Base.Primitives.Scalar
 import Base.Primitives.Range
-import Base.Primitives.CoreOps
+import Base.Primitives.Core
 import Base.Arith
 import Base.Progress.Base
 
-- 
cgit v1.2.3