From c6b76cade9e8a313cd597eec3d894192282b6a58 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Sat, 31 Dec 2022 10:07:38 -0500
Subject: [PATCH] Updated version of tested VeriFast build

---
 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 30d5213de..63e40e741 100644
--- a/Test/VeriFast/tasks/vTaskSwitchContext/README.md
+++ b/Test/VeriFast/tasks/vTaskSwitchContext/README.md
@@ -224,7 +224,7 @@ The diff can also be manually checked by running the command
 
 
 # Disclaimer
-All scripts and proofs have been tested under OS X 12.6.1 and with the VeriFast nightly build from Dec 12th 2022.
+All scripts and proofs have been tested under OS X 12.6.1 and with the VeriFast nightly build from Dec 31, 2022 (corresponds to commit [9e32b122b54152a2ac75a811aa422d638b56c6ab](https://github.com/verifast/verifast/commit/9e32b122b54152a2ac75a811aa422d638b56c6ab)).