diff --git a/collects/meta/props b/collects/meta/props
index 85593e675a..424f7cfabc 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1202,6 +1202,7 @@ path/s is either such a string or a list of them.
 "collects/redex/examples/r6rs/racket-vs-redex.rkt" drdr:timeout 180
 "collects/redex/examples/r6rs/show-examples.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/racket-machine/examples.rkt" drdr:command-line (gracket * "--no-pop-ups")
+"collects/redex/examples/racket-machine/impl-exec.rkt" drdr:command-line #f
 "collects/redex/examples/racket-machine/randomized-tests.rkt" drdr:command-line (racket "-t" * "-m") drdr:timeout 300
 "collects/redex/examples/racket-machine/reduction-test.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/racket-machine/verification-test.rkt" drdr:command-line (mzc *)