From 5a1ea9680a96242c354101602b3ae5641ce670ca Mon Sep 17 00:00:00 2001 From: Mario Date: Fri, 26 Jul 2024 11:16:16 +0000 Subject: [PATCH] Bump core-v-verif --- 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..d39259099f 160000 --- a/verif/core-v-verif +++ b/verif/core-v-verif @@ -1 +1 @@ -Subproject commit e06bd577f5db816015ec16a901e6e8f39cf7d640 +Subproject commit d39259099f9bdbc60c029c68d3347f2a2d6b0b3c