src/HOL/Tools/Predicate_Compile/code_prolog.ML
changeset 40301 bf39a257b3d3
parent 40054 cd7b1fa20bce
child 40924 a9be7f26b4e6
     1.1 --- a/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Tue Nov 02 20:31:46 2010 +0100
     1.2 +++ b/src/HOL/Tools/Predicate_Compile/code_prolog.ML	Tue Nov 02 20:55:12 2010 +0100
     1.3 @@ -120,7 +120,7 @@
     1.4  structure System_Config = Generic_Data
     1.5  (
     1.6    type T = system_configuration
     1.7 -  val empty = {timeout = Time.fromSeconds 10, prolog_system = SWI_PROLOG}
     1.8 +  val empty = {timeout = seconds 10.0, prolog_system = SWI_PROLOG}
     1.9    val extend = I;
    1.10    fun merge ({timeout = timeout1, prolog_system = prolog_system1},
    1.11          {timeout = timeout2, prolog_system = prolog_system2}) =