From cde42774d185ca3c11086061efb5e42bd0902e98 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Sat, 24 Feb 2018 19:04:18 -0500
Subject: git submodule update --remote --recursive

---
 coqprime | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coqprime')

diff --git a/coqprime b/coqprime
index e1fac2d7d..bd626ee33 160000
--- a/coqprime
+++ b/coqprime
@@ -1 +1 @@
-Subproject commit e1fac2d7d1ce737233316f62848e350ed922b33a
+Subproject commit bd626ee330cc28aadfc2d675772f5077b098f717
-- 
cgit v1.2.3