diff --git a/verif/core-v-verif b/verif/core-v-verif
index 4da8b11327..dfa7c47aeb 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 4da8b11327634a2c22de9fd6b9923f28bdc19109
+Subproject commit dfa7c47aebc36f4af5e41241e4fc199df0be8cba