# HG changeset patch
# User wenzelm
# Date 1537305500 -7200
# Node ID 5eb493b51bf68c8f478f774ebec5460a9e517ec4
# Parent  a2c042364efcab01d4d60a63422f279d157755bb
more generous timeout: avoid sporadic failure in highly parallel headless PIDE session;

diff -r a2c042364efc -r 5eb493b51bf6 src/HOL/ex/Argo_Examples.thy
--- a/src/HOL/ex/Argo_Examples.thy	Tue Sep 18 23:07:34 2018 +0200
+++ b/src/HOL/ex/Argo_Examples.thy	Tue Sep 18 23:18:20 2018 +0200
@@ -619,7 +619,7 @@
 
 subsection \<open>Larger examples\<close>
 
-declare[[argo_trace = basic, argo_timeout = 60]]
+declare[[argo_trace = basic, argo_timeout = 120]]
 
 
 text \<open>Translated from TPTP problem library: PUZ015-2.006.dimacs\<close>