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