From 4fdf859f135d79bd93743d7784be03a76f9b8a7f Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Wed, 12 Feb 2025 10:33:45 +0100
Subject: [PATCH] add WITNESS keyword
---
syntaxes/classicalb.tmLanguage.json | 2 +-
syntaxes/rmchAddOn.tmLanguage.json | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/syntaxes/classicalb.tmLanguage.json b/syntaxes/classicalb.tmLanguage.json
index 2cfef9a..084029c 100644
--- a/syntaxes/classicalb.tmLanguage.json
+++ b/syntaxes/classicalb.tmLanguage.json
@@ -278,7 +278,7 @@
"control_blocks": {
"patterns": [
{
- "begin": "(?x)\n\\b(BEGIN|PRE|SELECT|ANY|LET|VAR|ASSERT|WHILE|IF|CHOICE|CASE|EITHER)\\b",
+ "begin": "(?x)\n\\b(BEGIN|PRE|SELECT|WITNESS|ANY|LET|VAR|ASSERT|WHILE|IF|CHOICE|CASE|EITHER)\\b",
"beginCaptures": {
"0": {
"name": "keyword.control.classicalb"
diff --git a/syntaxes/rmchAddOn.tmLanguage.json b/syntaxes/rmchAddOn.tmLanguage.json
index eb732c2..85cb522 100644
--- a/syntaxes/rmchAddOn.tmLanguage.json
+++ b/syntaxes/rmchAddOn.tmLanguage.json
@@ -284,7 +284,7 @@
"control_blocks": {
"patterns": [
{
- "begin": "(?x)\n\\b(BEGIN|PRE|SELECT|ANY|LET|VAR|ASSERT|WHILE|FOR|DO|IF|CHOICE|CASE|EITHER|IN)\\b",
+ "begin": "(?x)\n\\b(BEGIN|PRE|SELECT|WITNESS|ANY|LET|VAR|ASSERT|WHILE|FOR|DO|IF|CHOICE|CASE|EITHER|IN)\\b",
"beginCaptures": {
"0": {
"name": "keyword.control.rmchAddOn"
--
GitLab