From 256706b28585423dcaed2eb1243f9f7c64c3e8bf Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Tue, 15 Mar 2022 04:44:09 +0100
Subject: [PATCH] pick the kateversion from a file in the repo

---
 syntax/maude.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/syntax/maude.xml b/syntax/maude.xml
index 18bc3b5..2608f28 100644
--- a/syntax/maude.xml
+++ b/syntax/maude.xml
@@ -2,7 +2,7 @@
 <!DOCTYPE language SYSTEM "language.dtd">
 
 <language name="Maude" section="Sources" extensions="*.maude"
-          version="1" kateversion="2.4">
+          version="1" kateversion="5.53">
   <highlighting>
     <list name="modules">
       <item>mod</item>  <item>endm</item> <item>is</item>