From 76f2195bfbb31caccac87203f65e4538f3a0dafc Mon Sep 17 00:00:00 2001
From: Jade Philipoom <jadep@google.com>
Date: Mon, 9 Apr 2018 10:06:10 +0200
Subject: reorganization: move more things into BaseConversion

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