diff --git a/verif/core-v-verif b/verif/core-v-verif
index eef0e09768..13dd1a7ac7 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit eef0e097685f095b77b469b920059d38471434b6
+Subproject commit 13dd1a7ac7d633ce3ab080d73c8ffae30d247afb