diff --git a/collects/meta/props b/collects/meta/props
index dae4778cb9..0d85253513 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1391,9 +1391,10 @@ path/s is either such a string or a list of them.
 "collects/tests/drracket/randomly-click.rkt" drdr:command-line #f
 "collects/tests/drracket/repl-test.rkt" drdr:command-line (gracket *) drdr:timeout 600
 "collects/tests/drracket/sample-solutions-one-window.rkt" drdr:command-line (gracket-text "-t" *)
-"collects/tests/drracket/teaching-lang-save-file.rkt" drdr:command-line (gracket *)
 "collects/tests/drracket/stepper-test.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/tests/drracket/syncheck-test.rkt" drdr:command-line (gracket *)
+"collects/tests/drracket/teaching-lang-coverage.rkt" drdr:command-line (gracket *)
+"collects/tests/drracket/teaching-lang-save-file.rkt" drdr:command-line (gracket *)
 "collects/tests/drracket/teachpack.rkt" drdr:command-line (gracket *)
 "collects/tests/drracket/time-keystrokes.rkt" drdr:command-line (gracket-text "-t" *)
 "collects/tests/framework" responsible (robby)