diff --git a/src/options.ml b/src/options.ml
index d3966f560fa7ded29302c8a2d0fa54130d950ee2..b55e3792623d2b5f65fdb9f184adcf0812054e57 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