diff --git a/verif/core-v-verif b/verif/core-v-verif
index 6c1e999a97..464bf7a0d7 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 6c1e999a97f61b4b805603ba142a1347f785fff2
+Subproject commit 464bf7a0d730eaf614acac258b412829217b6465