From bc27efb77bd5ef396ca4c050bee3a0322ecc01bd Mon Sep 17 00:00:00 2001
From: gauravpartha <gaurav.parthasarathy@inf.ethz.ch>
Date: Sun, 8 Dec 2024 21:50:32 +0100
Subject: [PATCH] track dissertation branch in foundational_boogie

---
 .gitmodules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitmodules b/.gitmodules
index 60e687d2..4b5a0403 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