--- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML Tue Nov 02 20:31:46 2010 +0100
+++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML Tue Nov 02 20:55:12 2010 +0100
@@ -120,7 +120,7 @@
structure System_Config = Generic_Data
(
type T = system_configuration
- val empty = {timeout = Time.fromSeconds 10, prolog_system = SWI_PROLOG}
+ val empty = {timeout = seconds 10.0, prolog_system = SWI_PROLOG}
val extend = I;
fun merge ({timeout = timeout1, prolog_system = prolog_system1},
{timeout = timeout2, prolog_system = prolog_system2}) =