From f49c08c5c94450657a0aefc77308b939d3e1bc8f Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Tue, 14 May 2024 12:58:53 +0200
Subject: [PATCH] fix some typos
---
README.md | 2 +-
syntaxes/classicalb.tmLanguage.json | 2 +-
syntaxes/rmchAddOn.tmLanguage.json | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/README.md b/README.md
index 269229f..427e6d3 100644
--- a/README.md
+++ b/README.md
@@ -11,7 +11,7 @@ In order to change the probcli version you need to make the change in the settin
## Requirements
-- Java v.8 or higher. By default Java home is considerd to be accessible by typing 'java' in terminal/powershell
+- Java v.8 or higher. By default, Java home is considered to be accessible by typing 'java' in terminal/powershell
## Extension Settings
diff --git a/syntaxes/classicalb.tmLanguage.json b/syntaxes/classicalb.tmLanguage.json
index 2f1b2e2..9749209 100644
--- a/syntaxes/classicalb.tmLanguage.json
+++ b/syntaxes/classicalb.tmLanguage.json
@@ -175,7 +175,7 @@
"name": "keyword.operator.record.classicalb"
},
{
- "match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|interate|fnc|rel)\\b|%|λ",
+ "match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|iterate|fnc|rel)\\b|%|λ",
"name": "keyword.operator.relation.classicalb"
},
{
diff --git a/syntaxes/rmchAddOn.tmLanguage.json b/syntaxes/rmchAddOn.tmLanguage.json
index d55aaea..8e67db7 100644
--- a/syntaxes/rmchAddOn.tmLanguage.json
+++ b/syntaxes/rmchAddOn.tmLanguage.json
@@ -181,7 +181,7 @@
"name": "keyword.operator.record.rmchAddOn"
},
{
- "match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|interate|fnc|rel)\\b|%|λ",
+ "match": "\\b(ran|dom|id|prj1|prj2|closure1|closure|iterate|fnc|rel)\\b|%|λ",
"name": "keyword.operator.relation.rmchAddOn"
},
{
--
GitLab