diff --git a/.gitmodules b/.gitmodules
index 60e687d..4b5a040 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,4 +1,4 @@
 [submodule "foundational-boogie"]
 	path = foundational-boogie
 	url = https://github.com/viperproject/foundational-boogie
-	branch = cfg_optimizations
+	branch = dissertation-gaurav