From 09cfceb673aa7dd738091ff756006be489ab3b81 Mon Sep 17 00:00:00 2001
From: Konstantin Korovin <kostyakor@gmail.com>
Date: Thu, 13 Jun 2024 17:10:45 +0100
Subject: [PATCH] fix relative paths

---
 submissions/iprover_smtcomp.json | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/submissions/iprover_smtcomp.json b/submissions/iprover_smtcomp.json
index 86ab72bf..5b1d893b 100644
--- a/submissions/iprover_smtcomp.json
+++ b/submissions/iprover_smtcomp.json
@@ -3,10 +3,11 @@
       "h" : {
          "sha256" : "8f7f4bad13e87d6aaa1bb8ca78b102edaa5495caf65d5fe39c3c16d6f70003d6"
       },
-      "url" : "https://zenodo.org/records/11636244/files/iprover_v3.9_smt_comp_2024.zip"
+       "url" : "https://zenodo.org/records/11640297/files/iprover_v3.9_smt_comp_2024.zip"
+
    },
    "command" : [
-      "cd bin; iprover_smtcomp.sh"
+      "bin/iprover_smtcomp.sh"
    ],
    "contacts" : [
       "Konstantin Korovin <kostyakor@gmail.com>"