diff --git a/collects/meta/props b/collects/meta/props
index 69ea1fccda..ddc9aefab1 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1028,7 +1028,7 @@ path/s is either such a string or a list of them.
 "collects/tests/drracket/syncheck-test.rkt" drdr:command-line (gracket *) drdr:timeout 200
 "collects/tests/drracket/teaching-lang-coverage.rkt" responsible (robby matthias) drdr:command-line (gracket *)
 "collects/tests/drracket/teaching-lang-save-file.rkt" responsible (robby matthias) drdr:command-line (gracket *)
-"collects/tests/drracket/teaching-lang-sharing-modules.rkt" drdr:timeout 400
+"collects/tests/drracket/teaching-lang-sharing-modules.rkt" drdr:timeout 800
 "collects/tests/drracket/teachpack.rkt" responsible (robby matthias) drdr:command-line (gracket *)
 "collects/tests/drracket/test-engine-test.rkt" responsible (sperber) drdr:command-line (gracket *) drdr:timeout 480
 "collects/tests/eli-tester.rkt" responsible (eli)