From 6b63025a10852eb1f004639982eebeea64af1bd6 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 11 Jun 2021 07:39:21 +0200
Subject: [PATCH] update capitalization in Readme

(to force re-building plugin)
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 584167b5..c3a5b9d9 100644
--- a/README.md
+++ b/README.md
@@ -22,7 +22,7 @@ Please report bugs and feature requests at the new site https://github.com/hhu-s
 
 # Prolog Source Code
 The latest source code of the Prolog binary can be downloaded from https://www3.hhu.de/stups/downloads/prob/source/.
-To build the Prolog binaries you require a Sicstus 4 (http://sicstus.sics.se/index.html) licence.
+To build the Prolog binaries you require a SICStus 4 (http://sicstus.sics.se/index.html) licence.
 
 
 # Setting up the development environment
-- 
GitLab