From 7dae9160ff0ab25bcd1993bd94669a7c405f0ac8 Mon Sep 17 00:00:00 2001
From: Jay Lorch <lorch@microsoft.com>
Date: Mon, 19 Aug 2024 16:29:30 -0700
Subject: [PATCH] Remove one TODO for Set 2

---
 site/guide.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/site/guide.md b/site/guide.md
index e91e1a3..1b26722 100644
--- a/site/guide.md
+++ b/site/guide.md
@@ -106,8 +106,6 @@ The output should resemble Figure 12.
 
 ### Instructions
 
-**TODO. Code from https://github.com/verus-lang/verified-ironkv?**
-
 To run this experiment, take the following steps:
 
 * Build the IronFleet version of IronKV.