diff --git a/verif/core-v-verif b/verif/core-v-verif
index 717d05ef588..5e88785faf4 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 717d05ef588f099c11be4d8ce7a592bf9d8efd48
+Subproject commit 5e88785faf45b029fbaff73c1e7d19ae358a15e5