diff --git a/collects/meta/props b/collects/meta/props
index 8e563ca9a0..7d9a0daadd 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1336,6 +1336,7 @@ path/s is either such a string or a list of them.
 "collects/tests/racket/embed-me4.rktl" drdr:command-line #f
 "collects/tests/racket/embed-me9.rkt" drdr:command-line #f
 "collects/tests/racket/embed-planet-1/alt.rkt" drdr:command-line #f
+"collects/tests/racket/embed-planet-1/dyn-sub.rkt" drdr:command-line #f
 "collects/tests/racket/embed-planet-1/main.rkt" drdr:command-line #f
 "collects/tests/racket/embed-planet-1/other.rkt" drdr:command-line #f
 "collects/tests/racket/embed-planet-2" drdr:command-line #f