From 2cfc4a309736ed1755b9a74e50abb0af60ea403c Mon Sep 17 00:00:00 2001
From: Fabio Scotoni <34964387+fscoto@users.noreply.github.com>
Date: Thu, 4 Apr 2019 15:11:55 +0200
Subject: [PATCH] README: nitpick: make links HTTPS where possible

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 8beef7f..6bd2a33 100644
--- a/README.md
+++ b/README.md
@@ -107,8 +107,8 @@ settings.  To run the code under the TIS interpreter, run
 (Note: `tis-interpreter.sh` is part of TIS.  If it is not in your
 path, adjust the command accordingly.)
 
-[Frama-c]:http://frama-c.com/
-[TIS]: http://trust-in-soft.com/tis-interpreter/
+[Frama-c]:https://frama-c.com/
+[TIS]: https://trust-in-soft.com/tis-interpreter/
 
 
 Speed benchmark
-- 
2.47.3