README: nitpick: make links HTTPS where possible

diff --git a/README.md b/README.md
index 8beef7ffc5e41541e932e382d403cab17092c53f..6bd2a3333a313e4f53529148126fd1a6d90732a1 100644 (file)
--- 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