diff --git a/coqprime b/coqprime
index 6c225a2060..845c00cadc 160000
--- a/coqprime
+++ b/coqprime
@@ -1 +1 @@
-Subproject commit 6c225a2060ef2a47bdd487bca775f21bfe1fa5de
+Subproject commit 845c00cadc521aa70c3a8ae3bef9e2fabcbabf19