From 33064d0dbc2bfd9043580706bff81a8bbd234c0e Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Fri, 15 Jun 2018 11:36:58 -0400
Subject: [PATCH] Add semilattices as a submodule.

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

diff --git a/.gitmodules b/.gitmodules
index 859c01cba..011108b59 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -22,3 +22,6 @@
 [submodule "vendor/proto3-suite"]
 	path = vendor/proto3-suite
 	url = https://github.com/joshvera/proto3-suite
+[submodule "vendor/semilattices"]
+	path = vendor/semilattices
+	url = https://github.com/robrix/semilattices.git
diff --git a/vendor/semilattices b/vendor/semilattices
new file mode 160000
index 000000000..cad77016f
--- /dev/null
+++ b/vendor/semilattices
@@ -0,0 +1 @@
+Subproject commit cad77016f533f9078c6e42aea33405ec7900497c