diff --git a/verif/core-v-verif b/verif/core-v-verif
index 67791932d..bfbbd19c1 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 67791932df6128671344015584109d7a177d9a9a
+Subproject commit bfbbd19c13aaf24b724eb32e5b5ac7b0cb951c54