From f80d8154cbdf8c6cea54e2e117dfdc2805c51402 Mon Sep 17 00:00:00 2001
From: Romain Malmain <romain.malmain@pm.me>
Date: Tue, 9 Apr 2024 17:09:05 +0200
Subject: [PATCH] Use main branch of SymCC Runtime

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

diff --git a/.gitmodules b/.gitmodules
index 19a4d1739d..ea7bea87f2 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -46,4 +46,4 @@
 [submodule "subprojects/symcc-rt"]
 	path = subprojects/symcc-rt
 	url = https://github.com/eurecom-s3/symcc-rt.git
-	branch = export_symcc_runtime
+	branch = main