diff --git a/verif/core-v-verif b/verif/core-v-verif
index 0ea56b3eae..752e67f54c 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 0ea56b3eaee8b0176520a74ef084dd6fb53e2d56
+Subproject commit 752e67f54ce43269bd4cef796d73d01f32654b75