diff --git a/assets/syntaxes/02_Extra/Idris2 b/assets/syntaxes/02_Extra/Idris2
index bbfe50e0..4d8eb35a 160000
--- a/assets/syntaxes/02_Extra/Idris2
+++ b/assets/syntaxes/02_Extra/Idris2
@@ -1 +1 @@
-Subproject commit bbfe50e023e0edc74f5e0c003eb946528d49279f
+Subproject commit 4d8eb35a38254d422030e77b4933530008dd3c6e