diff --git a/coqprime b/coqprime
index ae85b57468..f611fa4411 160000
--- a/coqprime
+++ b/coqprime
@@ -1 +1 @@
-Subproject commit ae85b5746815c69dfe15d3a087e8125bbb4b20c2
+Subproject commit f611fa4411ffef9a832b5ccb2a7f8e2b9ecbfe02