From d021d0489d6dc39fc0b95b51dabaed389d76084d Mon Sep 17 00:00:00 2001
From: versokova <ver.sokova@gmail.com>
Date: Wed, 1 Nov 2023 17:29:31 +0100
Subject: [PATCH] Update tool-info module for PredatorHP

---
 benchexec/tools/predatorhp.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/benchexec/tools/predatorhp.py b/benchexec/tools/predatorhp.py
index d3dfb991b..3e327bb72 100644
--- a/benchexec/tools/predatorhp.py
+++ b/benchexec/tools/predatorhp.py
@@ -13,7 +13,7 @@
 class Tool(benchexec.tools.template.BaseTool2):
     """
     Wrapper for a Predator - Hunting Party
-    http://www.fit.vutbr.cz/research/groups/verifit/tools/predator-hp/
+    https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/
     """
 
     def executable(self, tool_locator):