diff --git a/verif/core-v-verif b/verif/core-v-verif
index c3d0c72e6..4e17969cf 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit c3d0c72e63063b8634565c60dad48852cfabfe3c
+Subproject commit 4e17969cfd7517dd0e26d4479da28a17220d8a4d