diff --git a/coqprime b/coqprime
index 431d7a6687..ae85b57468 160000
--- a/coqprime
+++ b/coqprime
@@ -1 +1 @@
-Subproject commit 431d7a66877cbe8688fc8864ef892369401440e1
+Subproject commit ae85b5746815c69dfe15d3a087e8125bbb4b20c2