diff --git a/verif/core-v-verif b/verif/core-v-verif
index 66cd091b8..20c2d30a3 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 66cd091b84489d855dc0542b0d7f8337e82e2ef3
+Subproject commit 20c2d30a333afa8ee54b51b0d9c13785ec6f51e1