diff --git a/.gitmodules b/.gitmodules
index 02fe196..0642a93 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,3 @@
 [submodule "flexpret"]
 	path = flexpret
 	url = git@github.com:pretis/flexpret.git
-[submodule "lingua-franca"]
-	path = lingua-franca
-	url = git@github.com:lf-lang/lingua-franca.git
diff --git a/flexpret b/flexpret
index ca8d2b7..5ed998d 160000
--- a/flexpret
+++ b/flexpret
@@ -1 +1 @@
-Subproject commit ca8d2b753e2a265d2d05c042453cf410ab7e9b60
+Subproject commit 5ed998ddc60afaa0b80d6255062935c471263e1c
diff --git a/lingua-franca b/lingua-franca
deleted file mode 160000
index f8965b5..0000000
--- a/lingua-franca
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit f8965b5a039b06254aa6f48b3b37f0728d1bda42