From b8055ffaa5dbea599b89a0cbacd64d37a58413dc Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 14 Aug 2015 11:59:18 -0400 Subject: [PATCH] Increase timeout for demod-test. --- compiler-test/tests/compiler/demodularizer/info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler-test/tests/compiler/demodularizer/info.rkt b/compiler-test/tests/compiler/demodularizer/info.rkt index 2e2cc3258d..355d8e262d 100644 --- a/compiler-test/tests/compiler/demodularizer/info.rkt +++ b/compiler-test/tests/compiler/demodularizer/info.rkt @@ -1,3 +1,3 @@ #lang info -(define test-timeouts '(("demod-test.rkt" 120))) +(define test-timeouts '(("demod-test.rkt" 300)))