From 12f41b52ac475b58557d0e8d704b70df3ae60163 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 20 Aug 2024 08:37:35 +0200
Subject: [PATCH] Bump verif/core-v-verif from `e06bd57` to `628ba12` (#2456)

---
 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 e06bd577f5..628ba12664 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit e06bd577f5db816015ec16a901e6e8f39cf7d640
+Subproject commit 628ba12664c19f3657661c07d3dab8d949dd21c2