From 55396c71fb959678c5fd785bbdedd2745c3e7525 Mon Sep 17 00:00:00 2001
From: probonopd <probonopd@users.noreply.github.com>
Date: Tue, 8 Aug 2023 20:05:55 +0200
Subject: [PATCH] Fix for #526 (hopefully?)

---
 submod.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/submod.sh b/submod.sh
index e941660..023830d 100755
--- a/submod.sh
+++ b/submod.sh
@@ -10,4 +10,6 @@ cd -
 cd circle-stdlib/libs/circle-newlib
 git checkout 48bf91d # needed for circle ec09d7e
 cd -
-           
+cd Synth_Dexed 
+git checkout c9f5274
+cd -