From b1de33342ab0aa812d992ff1eed659785d792f6c Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 7 Jul 2020 11:12:53 +0200
Subject: [PATCH] another update to Readme

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

diff --git a/README.md b/README.md
index 2f4c0da7..365c1de8 100644
--- a/README.md
+++ b/README.md
@@ -27,7 +27,7 @@ To build the Prolog binaries you require a Sicstus 4 (http://sicstus.sics.se/ind
 
 # Setting up the development environment
 
-- Clone the repository (http://github.com/bendisposto/prob)
+- Clone the repository (https://github.com/hhu-stups/prob-rodinplugin)
   We suggest to fork the project on github (see https://help.github.com/articles/fork-a-repo)
 
 - We use gradle to manage the dependencies to the libraries, thus you will need gradle installed on your computer.
-- 
GitLab