Skip to content

Commit

Permalink
Remove one TODO for Set 2
Browse files Browse the repository at this point in the history
  • Loading branch information
jaylorch committed Aug 19, 2024
1 parent 40eaced commit 7dae916
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions site/guide.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit 7dae916

Please sign in to comment.