From c3b6ad3685995b3b96dc88789e8512560d3257b3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 21 Nov 2023 10:23:14 +0100
Subject: Update the standard libraries

---
 backends/lean/Base/Primitives/Alloc.lean | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(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 34590499..6c89c6bb 100644
--- a/backends/lean/Base/Primitives/Alloc.lean
+++ b/backends/lean/Base/Primitives/Alloc.lean
@@ -16,16 +16,16 @@ def deref_mut (T : Type) (x : T) : Result T := ret x
 def deref_mut_back (T : Type) (_ : T) (x : T) : Result T := ret x
 
 /-- Trait instance -/
-def coreOpsDerefInst (Self : Type) :
+def coreopsDerefInst (Self : Type) :
   core.ops.deref.Deref Self := {
   Target := Self
   deref := deref Self
 }
 
 /-- Trait instance -/
-def coreOpsDerefMutInst (Self : Type) :
+def coreopsDerefMutInst (Self : Type) :
   core.ops.deref.DerefMut Self := {
-  derefInst := coreOpsDerefInst Self
+  derefInst := coreopsDerefInst Self
   deref_mut := deref_mut Self
   deref_mut_back := deref_mut_back Self
 }
-- 
cgit v1.2.3

