From 1ae465cddd48c36fd80ccdc214941463a6e5e8d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Walter?= <clement0walter@gmail.com>
Date: Tue, 29 Oct 2024 18:57:14 +0100
Subject: [PATCH] Update Kakarot to v0.9.5 (#1511)

Update kakarot to v0.9.5

Co-authored-by: GitHub Actions <actions@github.com>
Co-authored-by: Thomas Coratger <60488569+tcoratger@users.noreply.github.com>
Co-authored-by: greged93 <82421016+greged93@users.noreply.github.com>
---
 lib/kakarot | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/kakarot b/lib/kakarot
index b8f5f2a20..8f5c25899 160000
--- a/lib/kakarot
+++ b/lib/kakarot
@@ -1 +1 @@
-Subproject commit b8f5f2a20bd733cc8885c010291885e1df7dc50e
+Subproject commit 8f5c25899f785682bf018411459988ad82cf9228