diff --git a/verif/core-v-verif b/verif/core-v-verif
index 60e57248c4..d4b94d4b39 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 60e57248c48b0f8f90cf52af20aecc5c16e9d6d8
+Subproject commit d4b94d4b394714874293c3b6a24e4a6f4cc1a14b