Update gitmodules

GaloisInc · Jan 11, 2017 · 093610e · 093610e
1 parent 788f788
commit 093610e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,7 @@
 [submodule "halvm-ghc"]
 	path = halvm-ghc
 	url = git://github.com/GaloisInc/halvm-ghc.git
+	branch = wip-halvm-ghc-8.0
 [submodule "src/openlibm"]
 	path = src/openlibm
 	url = git://github.com/acw/openlibm
diff --git a/halvm-ghc b/halvm-ghc