remove todo

verus-lang · Jul 26, 2023 · 844834c · 844834c
1 parent 4952b5f
commit 844834c
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/source/pervasive/set.rs b/source/pervasive/set.rs
@@ -1,7 +1,3 @@
-// TODO: make a table of every Dafny lemma/axiom and the verus equivalent
-// include notes of any skipped lemmas
-// include this in PR description
-
 use core::marker;
 
 #[allow(unused_imports)]