From ae3a1ead285bb194a1503c37bf8368a41b4e3e42 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 29 Jan 2024 22:46:26 +0100
Subject: [PATCH] Bump verif/core-v-verif from `f17b93a` to `79d03a5` (#1797)

---
 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 f17b93a693..79d03a517f 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit f17b93a6930f64f3067117a9c6fccf1e8e2a88fb
+Subproject commit 79d03a517f8f09e3ca7c24332aec91bb78b47932