From d97e060a3f8de0b83db89aa6c25eb4157045c275 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 3 Apr 2018 16:30:00 -0400
Subject: Update coqprime

---
 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