From 5bbbe723a25e6830f7dd7b014f3994a45f1afbbe Mon Sep 17 00:00:00 2001
From: Pierre Wilke <pierre.wilke@centralesupelec.fr>
Date: Thu, 11 Mar 2021 11:34:36 +0100
Subject: [PATCH] =?UTF-8?q?Timeout=20moins=20strict=20par=20d=C3=A9faut...?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/options.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/options.ml b/src/options.ml
index d3966f5..b55e379 100644
--- a/src/options.ml
+++ b/src/options.ml
@@ -39,4 +39,4 @@ let naive_regalloc = ref true
 let rig_dump : string option ref = ref None
 let handwritten_lexer = ref Config.lex_hand
 let alpaga_parser = ref Config.alpaga_parser
-let timeout = ref 1.0
+let timeout = ref 3.0
-- 
GitLab