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