From 7df985d97fc62b18c77882463b0b7b2b906bd8be Mon Sep 17 00:00:00 2001
From: Nadrieril <nadrieril+git@gmail.com>
Date: Wed, 4 Dec 2024 11:49:55 +0100
Subject: [PATCH] break

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

diff --git a/backends/lean/Base/Extensions.lean b/backends/lean/Base/Extensions.lean
index 8093ff183..5f63c1b1c 100644
--- a/backends/lean/Base/Extensions.lean
+++ b/backends/lean/Base/Extensions.lean
@@ -31,7 +31,7 @@ def mkMapDeclarationExtension [Inhabited α] (name : Name := by exact decl_name%
   IO (MapDeclarationExtension α) :=
   registerSimplePersistentEnvExtension {
     name          := name,
-    addImportedFn := fun a => a.foldl (fun s a => a.foldl (fun s (k, v) => s.insert k v) s) RBMap.empty,
+    addImportedFn := fun a => a.foldl (fun s a => a.foldl (fun s (k, v) => s.insert k v) s) RBap.empty,
     addEntryFn    := fun s n => s.insert n.1 n.2,
     toArrayFn     := fun es => es.toArray.qsort (fun a b => Name.quickLt a.1 b.1)
   }