From c56ef81cb16887175a4d712ae90b2378109f7f98 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 15 Jan 2024 20:44:47 +0100
Subject: [PATCH] Bump verif/core-v-verif from `dfa7c47` to `0ea56b3` (#1764)

---
 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 dfa7c47aebc..0ea56b3eaee 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit dfa7c47aebc36f4af5e41241e4fc199df0be8cba
+Subproject commit 0ea56b3eaee8b0176520a74ef084dd6fb53e2d56