# HG changeset patch
# User bulwahn
# Date 1310319207 -7200
# Node ID e40d2eddf2c0c81389ee338b737424cd244c8ace
# Parent  592b32eb18a6422de8c09e78d92575c15bdadf74
adding a very liberal timeout for values after a test case failed due to the restricted timeout

diff -r 592b32eb18a6 -r e40d2eddf2c0 src/HOL/IMP/C_like.thy
--- a/src/HOL/IMP/C_like.thy	Sun Jul 10 14:02:27 2011 +0200
+++ b/src/HOL/IMP/C_like.thy	Sun Jul 10 19:33:27 2011 +0200
@@ -49,6 +49,7 @@
 
 code_pred big_step .
 
+declare [[values_timeout = 3600]]
 
 text{* Examples: *}