diff --git a/collects/meta/props b/collects/meta/props index 469f8e558f..c9601768da 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1558,7 +1558,7 @@ path/s is either such a string or a list of them. "collects/tests/planet/cmdline-tool.rkt" drdr:command-line #f "collects/tests/planet/examples/dummy-module.rkt" drdr:command-line #f "collects/tests/planet/examples/scribblings-package" drdr:command-line #f -"collects/tests/planet/thread-safe-resolver.rkt" drdr:timeout 500 +"collects/tests/planet/thread-safe-resolver.rkt" drdr:timeout 1000 "collects/tests/plot/run-tests.rkt" drdr:command-line (gracket-text "-t" *) "collects/tests/r6rs" responsible (mflatt) "collects/tests/racket" responsible (mflatt)