Update System on TPTP URL

naproche · Jul 3, 2024 · 9192b08 · 9192b08
1 parent 12e7c41
commit 9192b08
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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
     });