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