diff --git a/verif/core-v-verif b/verif/core-v-verif
index 1173e7e1b7..2d9f96e513 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 1173e7e1b780ad10c4c6c4a8e35a5d4a305e50e8
+Subproject commit 2d9f96e513a4004b2536fe4062e1e2dd7665464d