diff --git a/verif/core-v-verif b/verif/core-v-verif
index fd68dfd2c0..c7d2077e8b 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit fd68dfd2c04e9edcca236501e7c074ab1a756f41
+Subproject commit c7d2077e8b4a1493aaecb89534562893064d5e0c