From f5c0871eea793f77806eafaf0b9b8e0951269db4 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Wed, 20 May 2020 10:56:03 +0200
Subject: [PATCH] small fixes regarding multple occurrences of words
---
server/src/wordCompletion.ts | 24 ------------------------
1 file changed, 24 deletions(-)
diff --git a/server/src/wordCompletion.ts b/server/src/wordCompletion.ts
index 9d13248..b7244fb 100644
--- a/server/src/wordCompletion.ts
+++ b/server/src/wordCompletion.ts
@@ -130,10 +130,6 @@ function completionCommon() : CompletionItem[] {
label: 'ASSERTIONS',
kind: CompletionItemKind.Text,
},
- {
- label: 'INITIALIZATION',
- kind: CompletionItemKind.Text,
- },
{
label: 'OPERATIONS',
kind: CompletionItemKind.Text,
@@ -1166,10 +1162,6 @@ function completionCommon() : CompletionItem[] {
label:'ASSERT',
kind:CompletionItemKind.Text,
},
- {
- label:'VARIABLES',
- kind:CompletionItemKind.Text,
- },
{
label:'ABSTRACT_VARIABLES',
kind:CompletionItemKind.Text,
@@ -1444,22 +1436,6 @@ function completionEventB() : CompletionItem[] {
label: 'VARIABLES',
kind: CompletionItemKind.Text,
},
- {
- label: 'INVARIANT',
- kind: CompletionItemKind.Text,
- },
- {
- label: 'EVENTS',
- kind: CompletionItemKind.Text,
- },
- {
- label: 'Event',
- kind: CompletionItemKind.Text,
- },
- {
- label: 'Initialisation',
- kind: CompletionItemKind.Text,
- },
{
label: 'where',
kind: CompletionItemKind.Text,
--
GitLab