track dissertation branch in foundational_boogie

viperproject · Dec 8, 2024 · bc27efb · bc27efb
1 parent 5c704ab
commit bc27efb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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