diff --git a/verif/core-v-verif b/verif/core-v-verif
index 24fc9392a..ff68c89bd 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 24fc9392a884d9fb04d6a70a658ebdef1b4c69a5
+Subproject commit ff68c89bd06d81767d0a4c12466db38f958c6eff