diff --git a/README.md b/README.md index b5c4f3c..71c794f 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