diff --git a/macrotypes/info.rkt b/macrotypes/info.rkt
index 3b22751..5956729 100644
--- a/macrotypes/info.rkt
+++ b/macrotypes/info.rkt
@@ -14,4 +14,4 @@
     "examples/tests/mlish/bg/README.md"))
 
 (define test-timeouts
-  '(("examples/tests/mlish/generic.mlish" 200)))
+  '(("examples/tests/mlish/generic.mlish" 300)))
diff --git a/turnstile/info.rkt b/turnstile/info.rkt
index d82d4d4..7897ee4 100644
--- a/turnstile/info.rkt
+++ b/turnstile/info.rkt
@@ -22,5 +22,5 @@
     "examples/tests/mlish/bg/README.md"))
 
 (define test-timeouts
-  '(("examples/tests/mlish/generic.mlish" 200)
+  '(("examples/tests/mlish/generic.mlish" 300)
     ("examples/tests/tlb-infer-tests.rkt" 1800)))