src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy
changeset 40301 bf39a257b3d3
parent 39800 17e29ddd538e
child 40924 a9be7f26b4e6
     1.1 --- a/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy	Tue Nov 02 20:31:46 2010 +0100
     1.2 +++ b/src/HOL/Predicate_Compile_Examples/Context_Free_Grammar_Example.thy	Tue Nov 02 20:55:12 2010 +0100
     1.3 @@ -125,7 +125,7 @@
     1.4    limited_predicates = [],
     1.5    replacing = [],
     1.6    manual_reorder = [],
     1.7 -  timeout = Time.fromSeconds 10,
     1.8 +  timeout = seconds 10.0,
     1.9    prolog_system = Code_Prolog.SWI_PROLOG}) *}
    1.10  
    1.11