diff --git a/verif/core-v-verif b/verif/core-v-verif
index 4e6e8604f..399438e92 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 4e6e8604fa295e9974924abcf3e447ab60805f88
+Subproject commit 399438e92ae9dc0b94b97bfd764d34ac865c1b07