diff --git a/collects/tests/racket/benchmarks/common/deriv.o1 b/collects/tests/racket/benchmarks/common/deriv.o1
new file mode 100755
index 0000000000..effb9a3620
Binary files /dev/null and b/collects/tests/racket/benchmarks/common/deriv.o1 differ
diff --git a/src/racket/src/eval.c b/src/racket/src/eval.c
index 8ca6d3e318..f0a367160a 100644
--- a/src/racket/src/eval.c
+++ b/src/racket/src/eval.c
@@ -12491,7 +12491,7 @@ void scheme_validate_expr(Mz_CPort *port, Scheme_Object *expr,
         }
       }
 
-      if (procs && !proc_with_refs_ok) {
+      if (procs && !proc_with_refs_ok && !result_ignored) {
         if (scheme_hash_tree_get(procs, scheme_make_integer(p)))
           scheme_ill_formed_code(port);
       }