diff --git a/verif/core-v-verif b/verif/core-v-verif
index 2c55632a8..9a34897a5 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 2c55632a85f10585be45620dc477fbfb0933e6ae
+Subproject commit 9a34897a5c637a15973a3f972890320a0a251d21