From 524818c7710bf4d6c97709c7eaac9e2e33750440 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1s=20Gr=C3=BCner?=
 <47506558+MegaRedHand@users.noreply.github.com>
Date: Tue, 27 Jan 2026 19:02:49 -0300
Subject: [PATCH] chore: bump leanSpec

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 455412b..1a7a8fa 100644
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,7 @@ docker-build: ## 🐳 Build the Docker image
 		--build-arg GIT_BRANCH=$(GIT_BRANCH) \
 		-t ghcr.io/lambdaclass/ethlambda:local .
 
-LEAN_SPEC_COMMIT_HASH:=c187aab89e0ecc6ce9c1fd9304fd708312ea7106
+LEAN_SPEC_COMMIT_HASH:=4edcf7bc9271e6a70ded8aff17710d68beac4266
 
 leanSpec:
 	git clone https://github.com/leanEthereum/leanSpec.git --single-branch