From 618fe3082febdb1d7db72ba6d493192530a3352c Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 10 Jul 2018 06:49:53 -0400
Subject: Bump coqprime

Fixes #379 (I hope)
---
 coqprime | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coqprime')

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