From 7215e576e98039cb3dbb2fa6e19aeeb900acf4d5 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 13 May 2024 22:27:00 +0200
Subject: [PATCH] Bump verif/core-v-verif from `2c55632` to `9a34897` (#2107)

---
 verif/core-v-verif | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verif/core-v-verif b/verif/core-v-verif
index 2c55632a8..9a34897a5 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 2c55632a85f10585be45620dc477fbfb0933e6ae
+Subproject commit 9a34897a5c637a15973a3f972890320a0a251d21