From 5901c9fa39702c8e08217fa470ead9dba7264274 Mon Sep 17 00:00:00 2001
From: Jade Philipoom <jadep@google.com>
Date: Tue, 27 Mar 2018 11:22:03 +0200
Subject: pass-through after Andres's review in #334

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

(limited to 'coqprime')

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