From c633e787fc41f56e46002c9553447c95bf996174 Mon Sep 17 00:00:00 2001
From: "Michael F. Herbst" <info@michael-herbst.com>
Date: Sun, 4 Sep 2016 14:14:35 +0200
Subject: [PATCH] rapidcheck submodule

---
 .gitmodules        | 3 +++
 modules/rapidcheck | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 modules/rapidcheck

diff --git a/.gitmodules b/.gitmodules
index eb15f03..106a60d 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -13,3 +13,6 @@
 [submodule "modules/krims"]
 	path = modules/krims
 	url = ssh://git@github.com/linalgwrap/krims
+[submodule "modules/rapidcheck"]
+	path = modules/rapidcheck
+	url = https://github.com/emil-e/rapidcheck
diff --git a/modules/rapidcheck b/modules/rapidcheck
new file mode 160000
index 0000000..f5d3afa
--- /dev/null
+++ b/modules/rapidcheck
@@ -0,0 +1 @@
+Subproject commit f5d3afa4f387ecf147faf98d96710a6edfa420f1