From 6d94393de12d372515175d5904a55115a972d3dc Mon Sep 17 00:00:00 2001
From: Jannik Dunkelau <jannik.dunkelau@hhu.de>
Date: Fri, 8 Mar 2024 10:51:21 +0100
Subject: [PATCH] Fix erroneous escape chars in classical B syntax
---
syntaxes/classicalb.tmLanguage.json | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/syntaxes/classicalb.tmLanguage.json b/syntaxes/classicalb.tmLanguage.json
index c928cc0..603f7ee 100644
--- a/syntaxes/classicalb.tmLanguage.json
+++ b/syntaxes/classicalb.tmLanguage.json
@@ -313,7 +313,7 @@
"preferences": {
"patterns": [
{
- "match": "(?x)\n\\b(GOAL|SCOPE|SET_PREF_\\w*|FORCE_SYMMETRY_\\w*|GOAL|ANIMATION_FUNCTION_DEFAULT\n|VISB_JSON_FILE|VISB_SVG_FILE|VISB_SVG_BOX|VISB_SVG_CONTENTS\w*|VISB_SVG_OBJECTS\w*|VISB_SVG_HOVERS\w*|VISB_SVG_UPDATES\w*|VISB_SVG_EVENTS\w*|CUSTOM_GRAPH|CUSTOM_GRAPH_EDGES|CUSTOM_GRAPH_NODES|HEURISTIC_FUNCTION|ANIMATION_FUNCTION[0-9]*|ANIMATION_IMG\\w*\n|ANIMATION_STR\\w*|ASSERT_(LTL|CTL)\\w*)\\b",
+ "match": "(?x)\n\\b(GOAL|SCOPE|SET_PREF_\\w*|FORCE_SYMMETRY_\\w*|GOAL|ANIMATION_FUNCTION_DEFAULT\n|VISB_JSON_FILE|VISB_SVG_FILE|VISB_SVG_BOX|VISB_SVG_CONTENTS\\w*|VISB_SVG_OBJECTS\\w*|VISB_SVG_HOVERS\\w*|VISB_SVG_UPDATES\\w*|VISB_SVG_EVENTS\\w*|CUSTOM_GRAPH|CUSTOM_GRAPH_EDGES|CUSTOM_GRAPH_NODES|HEURISTIC_FUNCTION|ANIMATION_FUNCTION[0-9]*|ANIMATION_IMG\\w*\n|ANIMATION_STR\\w*|ASSERT_(LTL|CTL)\\w*)\\b",
"name": "entity.other.attribute-name.classicalb"
}
]
@@ -331,4 +331,4 @@
]
}
}
- }
\ No newline at end of file
+ }
--
GitLab