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