From ea989ae2366d8f65fc359b4aa9d2cbbef8d5170e Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Sat, 31 Dec 2022 15:34:51 -0500
Subject: [PATCH] Minor correction in README.

---
 Test/VeriFast/tasks/vTaskSwitchContext/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/README.md b/Test/VeriFast/tasks/vTaskSwitchContext/README.md
index 63e40e741..f6004f5d3 100644
--- a/Test/VeriFast/tasks/vTaskSwitchContext/README.md
+++ b/Test/VeriFast/tasks/vTaskSwitchContext/README.md
@@ -38,7 +38,7 @@ Proof Assumptions:
 
 ==>
 
-Unbounded memory & thread safety guarantees:
+Unbounded memory & thread safety guarantees for `vTaskSwitchContext`:
   ∀ #tasks. ∀ task interleavings. ∀ interrupt schedules. ∀ data sizes. ∀ cores C1, …, Cn.
     vTaskSwitchContext(C1)  ||  …  ||  vTaskSwitchContext(Cn)
   =>  (no memory error ∧ no race condition)