From 9896c4052dcae483cfbd8b554aba85c1814a1b7b Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 25 Sep 2023 22:39:24 +0200
Subject: [PATCH] Bump verif/core-v-verif from `d605b23` to `2cf4b79` (#1475)

---
 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 d605b23985..2cf4b79c48 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit d605b239858abb304224bdf20271782b2c83fd6a
+Subproject commit 2cf4b79c48bf553697139f1f3f97f6aa4be8295f