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/Alloc.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/backends/lean/Base/Primitives/Alloc.lean b/backends/lean/Base/Primitives/Alloc.lean
index 15fe1ff9..1b15d36d 100644
--- a/backends/lean/Base/Primitives/Alloc.lean
+++ b/backends/lean/Base/Primitives/Alloc.lean
@@ -1,6 +1,6 @@
 import Lean
 import Base.Primitives.Base
-import Base.Primitives.CoreOps
+import Base.Primitives.Core
 
 open Primitives
 open Result
-- 
cgit v1.2.3

