From cd0ade199cffcf42f145b381988f3303405ec940 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Thu, 4 Jan 2024 10:43:32 +0100
Subject: [PATCH] Bump verif/core-v-verif from `18c9d28` to `4da8b11` (#1745)

---
 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 18c9d28cb..4da8b1132 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 18c9d28cb96fbec8afb5e1bc5f344e9deb4a2cc8
+Subproject commit 4da8b11327634a2c22de9fd6b9923f28bdc19109