From 71812782239512a7e7fc71e91d3225c3cc7c3681 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 23 Jul 2024 23:21:25 +0200
Subject: [PATCH] Bump verif/core-v-verif from `20c2d30` to `f42effb` (#2381)

---
 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 20c2d30a33..f42effb5e6 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 20c2d30a333afa8ee54b51b0d9c13785ec6f51e1
+Subproject commit f42effb5e64971b268dcd6c1a8227aaeb6e4b94a