1 files changed, 0 insertions, 1 deletions

diff --git a/BUGS.txt b/BUGS.txt
index fc8ec25..f68e3fa 100644
--- a/BUGS.txt
+++ b/BUGS.txt
@@ -4,7 +4,6 @@
 
 * F64Test
 * F64BitwiseTest
-* F32Test
 * F32BitwiseTest
 * ConversionsTest
 * FloatExprsTest