From 68fcabc470822d87f842ab99c492a22c0981bba8 Mon Sep 17 00:00:00 2001
From: Bastien Jansen <bastien.jansen@gmx.com>
Date: Wed, 13 Sep 2023 21:50:23 +0200
Subject: [PATCH] chore: upgrade to antlr 4.13.1

---
 gradle.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gradle.properties b/gradle.properties
index 49ca005d..13d057e2 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -23,7 +23,7 @@ ideaVersion=IC-2022.2.1
 #ideaVersion=IC-2023.1
 
 # The version of ANTLR v4 that will be used to generate the parser
-antlr4Version=4.13.0
+antlr4Version=4.13.1
 
 # Lower platform version supported by this build. Leave empty to keep the default value in plugin.xml.
 sinceBuildVersion=