diff --git a/verif/core-v-verif b/verif/core-v-verif
index 1b0b4ae28a..b9b359c6e7 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 1b0b4ae28ac37401b21c225b3380574c4c92de1c
+Subproject commit b9b359c6e777c39e41fa77305829a2daed4242c5