From 94533e337053c12968e6f25a800066ebe248688d Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 13 Jul 2019 14:20:36 +0200
Subject: [PATCH] proper link and less Rust ;)

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 54b56c618..81f2ec071 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -50,8 +50,7 @@ Changes in heap_lang:
   operator allowed compared closures with each other.
 * Implement prophecy variables using the new support for "observations". The
   erasure theorem (showing that prophecy variables do not alter program
-  behavior) can be found in the iris/examples repository, in
-  `theories/logatom/proph_erasure.rs`.
+  behavior) can be found [in the iris/examples repository](https://gitlab.mpi-sws.org/iris/examples/blob/3f33781fe6e19cfdb25259c8194d34403f1134d5/theories/logatom/proph_erasure.v).
 * heap_lang now uses right-to-left evaluation order. This makes it
   significantly easier to write specifications of curried functions.
 * heap_lang values are now injected in heap_lang expressions via a specific
-- 
GitLab