From da7064338f7f722d18c406cf3ac2a5099d4fe21c Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 15 Nov 2024 12:40:23 +0100
Subject: [PATCH] talk about what is, not what will be

---
 theories/tree_borrows/README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/theories/tree_borrows/README.md b/theories/tree_borrows/README.md
index 21b6a453..1a9f3c73 100644
--- a/theories/tree_borrows/README.md
+++ b/theories/tree_borrows/README.md
@@ -63,6 +63,4 @@ We have not shown Example 14, but two examples similar to it:
   But note that this does not insert a read if there is none. Also, the tag is not protected.
 * `examples/protected/shared_insert_read.v` demonstrates that reads can be inserted on protected tags.
 
-For the artifact evaluation submission, we will create a new example that corresponds to Example 14 more closely.
-
 
-- 
GitLab