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 @@ + version="1" kateversion="5.53"> mod endm is