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