diff --git a/verif/core-v-verif b/verif/core-v-verif
index 3630a6cf6..54c647475 160000
--- a/verif/core-v-verif
+++ b/verif/core-v-verif
@@ -1 +1 @@
-Subproject commit 3630a6cf607524e491846840433265b4f40a6717
+Subproject commit 54c64747595d291f2b158ffcb5c8275f3db8828d