From daf895dc317e75a84ef12447539e9977002bae01 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 20 Aug 2022 07:57:36 -0400
Subject: [PATCH] make tutorial a stable link

---
 CHANGELOG.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0c1532f3b..47c76d060 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -21,7 +21,7 @@ mechanism.
 
 The later credit mechanism is described in detail in the
 [ICFP'22 paper](https://plv.mpi-sws.org/later-credits/) and there is a
-[small tutorial](https://gitlab.mpi-sws.org/iris/iris/-/blob/master/tests/later_credits_paper.v)
+[small tutorial](https://gitlab.mpi-sws.org/iris/iris/-/blob/iris-4.0.0/tests/later_credits_paper.v)
 in the Iris repository. The
 [examples](https://gitlab.mpi-sws.org/iris/examples/) repository contains some
 logically atomic case studies that make use of later credits: the counter with a
-- 
GitLab