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