# HG changeset patch
# User blanchet
# Date 1303287264 -7200
# Node ID 6bc725d6059315c7d25a2d0ceda0f7a08484241e
# Parent  8a09dfeb2cec39c3704b2ad5ca61cff641da5b37
increase "auto"'s timeout in example to help SML/NJ

diff -r 8a09dfeb2cec -r 6bc725d60593 src/HOL/Nitpick_Examples/Manual_Nits.thy
--- a/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 20 07:44:23 2011 +0200
+++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 20 10:14:24 2011 +0200
@@ -70,7 +70,7 @@
 oops
 
 lemma "\<forall>n. Suc n \<noteq> n \<Longrightarrow> P"
-nitpick [card nat = 100, check_potential, expect = genuine]
+nitpick [card nat = 100, check_potential, tac_timeout = 5, expect = genuine]
 oops
 
 lemma "P Suc"