diff --git a/verif/core-v-verif b/verif/core-v-verif
index 2cf4b79c48..580ea6f94f 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 2cf4b79c48bf553697139f1f3f97f6aa4be8295f
+Subproject commit 580ea6f94f36cf6c25faf6d4b4b0f30d3d97cef5