From acafb2952dce7a8e450dfdc3518f45aa18a04f0a Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Fri, 1 Mar 2019 18:05:28 -0800
Subject: [PATCH] Add cryptol-specs as git submodule under /examples.

---
 .gitmodules            | 3 +++
 examples/cryptol-specs | 1 +
 2 files changed, 4 insertions(+)
 create mode 100644 .gitmodules
 create mode 160000 examples/cryptol-specs

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 00000000..5277177a
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "examples/cryptol-specs"]
+	path = examples/cryptol-specs
+	url = git@github.com:GaloisInc/cryptol-specs.git
diff --git a/examples/cryptol-specs b/examples/cryptol-specs
new file mode 160000
index 00000000..95673136
--- /dev/null
+++ b/examples/cryptol-specs
@@ -0,0 +1 @@
+Subproject commit 956731363326d1de48322555cdaf8367eaadac75