diff --git a/verif/core-v-verif b/verif/core-v-verif
index b7f57c145c..9601c80f4c 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit b7f57c145c0f2de2115c75267d9124faab071d03
+Subproject commit 9601c80f4cbdeda5527ea7f88f9015d3a554da4a