diff --git a/verif/core-v-verif b/verif/core-v-verif
index 60e57248c..21da3b04a 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 60e57248c48b0f8f90cf52af20aecc5c16e9d6d8
+Subproject commit 21da3b04a0bd3cb86ca55d28e646578311b5f7b7