From fe81e2c9aaca9243f72a7c2c3695563421009d2a Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 10 Mar 2018 19:00:14 -0500
Subject: Bump coqprime for .gitignore

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

(limited to 'coqprime')

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