src/HOL/Tools/SMT/smt_solver.ML
changeset 41062 304cfdbc6475
parent 41059 d2b1fc1b8e19
child 41065 13424972ade4
--- a/src/HOL/Tools/SMT/smt_solver.ML	Tue Dec 07 14:54:31 2010 +0100
+++ b/src/HOL/Tools/SMT/smt_solver.ML	Tue Dec 07 15:01:37 2010 +0100
@@ -180,7 +180,7 @@
   let
     val args = C.solver_options_of ctxt @ options ctxt
     val comments = ("solver: " ^ name) ::
-      ("timeout: " ^ Time.toString (seconds (Config.get ctxt C.timeout))) ::
+      ("timeout: " ^ string_of_real (Config.get ctxt C.timeout)) ::
       "arguments:" :: args
   in
     irules