# HG changeset patch
# User boehmes
# Date 1291730497 -3600
# Node ID 304cfdbc6475052502f10a06d6e2071a06a07899
# Parent  492f8fd35fc0e6d5b6ff95a845367a62a9e6e0fa
tuned

diff -r 492f8fd35fc0 -r 304cfdbc6475 src/HOL/Tools/SMT/smt_solver.ML
--- 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