From f6d5eef9bae7138749cf3e3f34148655f4a461e3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1s=20Gr=C3=BCner?=
 <47506558+MegaRedHand@users.noreply.github.com>
Date: Mon, 2 Mar 2026 11:55:56 -0300
Subject: [PATCH] chore: update leanSpec commit

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

diff --git a/Makefile b/Makefile
index 83e8d330..c28f46b4 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ docker-build: ## 🐳 Build the Docker image
 		-t ghcr.io/lambdaclass/ethlambda:$(DOCKER_TAG) .
 	@echo
 
-LEAN_SPEC_COMMIT_HASH:=8b7636bb8a95fe4bec414cc4c24e74079e6256b6
+LEAN_SPEC_COMMIT_HASH:=44f896af5f43f71cdafaa993b61b4f4aa99681c0
 
 leanSpec:
 	git clone https://github.com/leanEthereum/leanSpec.git --single-branch