diff --git a/assets/syntaxes/02_Extra/Idris2 b/assets/syntaxes/02_Extra/Idris2
index 2874f206..bbfe50e0 160000
--- a/assets/syntaxes/02_Extra/Idris2
+++ b/assets/syntaxes/02_Extra/Idris2
@@ -1 +1 @@
-Subproject commit 2874f206f56c588a29fd76b88043129471d1454a
+Subproject commit bbfe50e023e0edc74f5e0c003eb946528d49279f