1 files changed, 0 insertions, 1 deletions
diff --git a/TODO b/TODO
index 80e15c0..a361e26 100644
--- a/TODO
+++ b/TODO
@@ -1,7 +1,6 @@
 * Support text format (.wat)
 * Implement validation
 * Fix known bugs (BUGS)
-    * We need to implement software-defined f32 in order to support floating-point number operations.
 * Implement NaN propagation
 * Provide sane bindings to PHP
 * Write PHPDoc for public APIs