# HG changeset patch
# User desharna
# Date 1649327862 -7200
# Node ID b9c6758bb784c78ff61ce6cc9fd998a488c248af
# Parent  3f24cc294d7469ae56e33e6eb526b30c0f7a7a7d
used HTTPS for SystemOnTPTP

diff -r 3f24cc294d74 -r b9c6758bb784 src/HOL/Tools/etc/options
--- a/src/HOL/Tools/etc/options	Thu Apr 07 05:55:48 2022 +0000
+++ b/src/HOL/Tools/etc/options	Thu Apr 07 12:37:42 2022 +0200
@@ -32,7 +32,7 @@
 public option sledgehammer_timeout : int = 30
   -- "provers will be interrupted after this time (in seconds)"
 
-public option SystemOnTPTP : string = "http://www.tptp.org/cgi-bin/SystemOnTPTPFormReply"
+public option SystemOnTPTP : string = "https://www.tptp.org/cgi-bin/SystemOnTPTPFormReply"
   -- "URL for SystemOnTPTP service"
 
 public option MaSh : string = "sml"