From 0113a5906667d16333fb8b55f026dd18102f5a8c Mon Sep 17 00:00:00 2001
From: Johannes Hostert <jhostert@ethz.ch>
Date: Fri, 15 Nov 2024 12:50:16 +0100
Subject: [PATCH] typo

---
 theories/tree_borrows/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/tree_borrows/README.md b/theories/tree_borrows/README.md
index 0b3b5935..f6ac526f 100644
--- a/theories/tree_borrows/README.md
+++ b/theories/tree_borrows/README.md
@@ -64,4 +64,4 @@ We have not shown Example 14, but two examples similar to it:
 * `examples/protected/shared_insert_read.v` demonstrates that reads can be inserted on protected tags.
 
 This shows that the program logic has all the reasoning primitives required for verifying Example 14,
-so taht its verification would be straightforward, just needing combine the two reasoning principles.
+so that its verification would be straightforward, just needing combine the two reasoning principles.
-- 
GitLab