diff --git a/collects/tests/typed-scheme/dump b/collects/tests/typed-scheme/dump
deleted file mode 100644
index 9b6354c716..0000000000
--- a/collects/tests/typed-scheme/dump
+++ /dev/null
@@ -1,3 +0,0 @@
-676 success(es) 0 failure(s) 0 error(s) 676 test(s) run
-fixnum-bounded-expr.rkt failed: optimization log mismatch
-