From 7c305e3e106fdb12b65433a4d8ae40e057784ea4 Mon Sep 17 00:00:00 2001 From: Jonathan Date: Thu, 27 Oct 2022 08:54:27 +0200 Subject: [PATCH] Fix link to course website Looks like the Aarhus webserver has a problem with redirecting http to https and introduces a spurious `/`. Using https directly avoids this issue. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b5c4f3c2..71c794f7 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ TIP is a tiny imperative programming language aimed at teaching the fundamental concepts of static program analysis. This code accompanies the -lecture notes on [Static Program Analysis](http://cs.au.dk/~amoeller/spa/). +lecture notes on [Static Program Analysis](https://cs.au.dk/~amoeller/spa/). ## Getting started