diff --git a/verif/core-v-verif b/verif/core-v-verif
index dfa7c47aeb..0ea56b3eae 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit dfa7c47aebc36f4af5e41241e4fc199df0be8cba
+Subproject commit 0ea56b3eaee8b0176520a74ef084dd6fb53e2d56