diff --git a/coqprime b/coqprime
index d5935ca3b7..6c225a2060 160000
--- a/coqprime
+++ b/coqprime
@@ -1 +1 @@
-Subproject commit d5935ca3b7f3d2f738b0810a49858d17480d6a58
+Subproject commit 6c225a2060ef2a47bdd487bca775f21bfe1fa5de