X-Git-Url: https://git.codelabs.ch/?p=libxhcidbg.git;a=blobdiff_plain;f=TODO.md;h=fbce78f90b5fa2f08f5bc782eb4d565af90e3d9d;hp=d3f53e1d5a449486ef16a557a635f1270dcdb582;hb=HEAD;hpb=1906d3c8c05b29b1b4f808d29069dd690f4c1a2d;ds=sidebyside

diff --git a/TODO.md b/TODO.md
index d3f53e1..fbce78f 100644
--- a/TODO.md
+++ b/TODO.md
@@ -9,9 +9,6 @@ Document the build process for a stand-alone library (utilizing
 
 ## SPARK
 
-* Rework the code to be valid SPARK (no errors from `gnatprove
-  -m check`)
-
 * Prove absence of runtime errors