From 9192b085980fe64cdb1e88c6da2ef66782fc23c0 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Wed, 3 Jul 2024 16:54:18 +0200
Subject: [PATCH] Update System on TPTP URL

---
 eprover.js | 2 +-
 vampire.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/eprover.js b/eprover.js
index ddd0ed2..d3f1321 100644
--- a/eprover.js
+++ b/eprover.js
@@ -20,7 +20,7 @@ onmessage = async function(request) {
         }
     }
 
-    const systemOnTPTP = new Request("https://www.tptp.org/cgi-bin/SystemOnTPTPFormReply", {
+    const systemOnTPTP = new Request("https://tptp.org/cgi-bin/SystemOnTPTPFormReply", {
         method: 'POST',
         body: formData
     });
diff --git a/vampire.js b/vampire.js
index 78c45e2..7cd69e5 100644
--- a/vampire.js
+++ b/vampire.js
@@ -20,7 +20,7 @@ onmessage = async function(request) {
         }
     }
 
-    const systemOnTPTP = new Request("https://www.tptp.org/cgi-bin/SystemOnTPTPFormReply", {
+    const systemOnTPTP = new Request("https://tptp.org/cgi-bin/SystemOnTPTPFormReply", {
         method: 'POST',
         body: formData
     });