From 02724f709fcafa9f4e854c271df6c2f79fd9cfa6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@csail.mit.edu>
Date: Mon, 16 May 2016 10:52:07 -0400
Subject: Increase default timeout to cope with behavior of some Chrome
 versions

---
 src/compiler.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/compiler.sml')

diff --git a/src/compiler.sml b/src/compiler.sml
index 76743fad..dccda06d 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -434,7 +434,7 @@ fun parseUrp' accLibs fname =
                         sql = NONE,
                         debug = Settings.getDebug (),
                         profile = false,
-                        timeout = 60,
+                        timeout = 120,
                         ffi = [],
                         link = [],
                         linker = NONE,
-- 
cgit v1.2.3