Removes compiler/ddlog submodule

HazyResearch · Jan 23, 2017 · ef7399b · ef7399b
1 parent 509f91c
commit ef7399b
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,9 +1,6 @@
 [submodule "util/mindbender"]
 	path = util/mindbender
 	url = https://github.com/netj/mindbender.git
-[submodule "compiler/ddlog"]
-	path = compiler/ddlog
-	url = https://github.com/HazyResearch/ddlog.git
 [submodule "test/bats"]
 	path = test/bats
 	url = https://github.com/sstephenson/bats.git

diff --git a/compiler/ddlog b/compiler/ddlog