From ef92beece3147f8af0764521e22cb7fc9a3f32a3 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Sat, 24 Feb 2018 10:17:35 -0500
Subject: coqprime in COQPATH (closes #269)

---
 .gitmodules | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.gitmodules')

diff --git a/.gitmodules b/.gitmodules
index fcb04e5ee..d4861dd59 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "bbv"]
 	path = bbv
 	url = ../../mit-plv/bbv.git
+[submodule "coqprime"]
+	path = coqprime
+	url = https://github.com/thery/coqprime
-- 
cgit v1.2.3