diff --git a/verif/core-v-verif b/verif/core-v-verif
index a87363b94..39d40ef76 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit a87363b94706d9b3cfa41764a2fbf11b36bd13ed
+Subproject commit 39d40ef765c689fbadcb0562a0451c284ec27fc0