diff --git a/verif/core-v-verif b/verif/core-v-verif
index 473a7f4f2a..5c0cd8ad8a 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 473a7f4f2a1f187080b60ece9f18474ade8323eb
+Subproject commit 5c0cd8ad8a7d033cb84d6067ed737b82c5230e8b