From 92bd3df5fa2aad1cbddfee5d27f228ba7dc009ee Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 16 Sep 2020 09:18:33 +0200
Subject: [PATCH] update link

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

diff --git a/README.md b/README.md
index 0835a52e..6e75099f 100644
--- a/README.md
+++ b/README.md
@@ -9,7 +9,7 @@
 The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html).
 (C) 2000-2020 Michael Leuschel and many others.
 
-For updates please visit the ProB website: http://www.stups.uni-duesseldorf.de/ProB/
+For updates please visit the ProB website: https://www3.hhu.de/stups/prob/
 
 ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND! This software is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY. The author(s) do not accept responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all. No warranty is made about the software or its performance.
 
-- 
GitLab