From dad59b31d4029b786b4ebac9918ffc228912486b Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Wed, 21 Oct 2020 16:50:30 +0200
Subject: [PATCH] spelling error

---
 README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/README.md b/README.md
index ae6d42c..2fd8d79 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # b-language-extension README
 
-Compiler support for B via ProB. You don't need your own version of prob. This plugin comes with one packed. You can however provide a proB version on your own, but be cautious; This can lead to unexpected and untested behavior.
+Compiler support for B via ProB. You don't need your own version of proB. This plugin comes with one packed. You can however provide a proB version on your own, but be cautious; This can lead to unexpected and untested behavior.
 
 In order to change prob_cli versions you need to make the change in the settings and restart the extension (open and close vscode).
 
@@ -37,7 +37,6 @@ The language server can be found here https://github.com/SeeBasTStick/b-language
 - Definition provider
 
 
-
 ## Release Notes
 
 ### 2.0.0
-- 
GitLab