From e981148d77be8c81134df72beb45d412f2bcdec0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 18 May 2012 13:52:52 +0200
Subject: [PATCH] set a longer timeout

---
 run-demo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-demo b/run-demo
index 0b47f73e9..a3db30e66 100755
--- a/run-demo
+++ b/run-demo
@@ -1 +1 @@
-./leon --timeout=5 --noLuckyTests $@
+./leon --timeout=10 --noLuckyTests $@
-- 
GitLab