diff --git a/verif/core-v-verif b/verif/core-v-verif
index 03ea736afe..d605b23985 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 03ea736afe28f4f12ccc6bfd32200ac87c222bff
+Subproject commit d605b239858abb304224bdf20271782b2c83fd6a