From 47bc193c16cdd48d72ec6c924c13ffd60a3a06b4 Mon Sep 17 00:00:00 2001
From: Henry Cook <hcook@eecs.berkeley.edu>
Date: Tue, 20 Oct 2015 16:22:07 -0700
Subject: [PATCH] added CDE library as submodule

---
 .gitmodules                    | 3 +++
 context-dependent-environments | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 context-dependent-environments

diff --git a/.gitmodules b/.gitmodules
index f1b451cd..d46c03e4 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -25,3 +25,6 @@
 [submodule "junctions"]
 	path = junctions
 	url = https://github.com/ucb-bar/junctions
+[submodule "context-dependent-environments"]
+	path = context-dependent-environments
+	url = https://github.com/ucb-bar/context-dependent-environments
diff --git a/context-dependent-environments b/context-dependent-environments
new file mode 160000
index 00000000..b199196e
--- /dev/null
+++ b/context-dependent-environments
@@ -0,0 +1 @@
+Subproject commit b199196e8c2b2920b683f501b15c404fe63124c2