diff --git a/assets/syntaxes/02_Extra/Idris2 b/assets/syntaxes/02_Extra/Idris2
index 7c1bf44c..49b4b641 160000
--- a/assets/syntaxes/02_Extra/Idris2
+++ b/assets/syntaxes/02_Extra/Idris2
@@ -1 +1 @@
-Subproject commit 7c1bf44c4f9092b7b1e274b1332cf32a089b2b99
+Subproject commit 49b4b64185183f71f1b17f252c4d0c90f576c24d