diff --git a/coqprime b/coqprime
index 845c00cadc..09db3f80bc 160000
--- a/coqprime
+++ b/coqprime
@@ -1 +1 @@
-Subproject commit 845c00cadc521aa70c3a8ae3bef9e2fabcbabf19
+Subproject commit 09db3f80bc9966aa0efa99e93db12b08a0017e77