diff --git a/verif/core-v-verif b/verif/core-v-verif
index 752e67f54c..f17b93a693 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 752e67f54ce43269bd4cef796d73d01f32654b75
+Subproject commit f17b93a6930f64f3067117a9c6fccf1e8e2a88fb