| changeset 32950 | 5d5e123443b3 |
| parent 32945 | 63db9da65a19 |
| child 33010 | 39f73a59e855 |
--- a/src/HOL/SMT/Tools/smt_solver.ML Thu Oct 15 21:08:03 2009 +0200 +++ b/src/HOL/SMT/Tools/smt_solver.ML Thu Oct 15 21:28:39 2009 +0200 @@ -84,7 +84,7 @@ val (trace, setup_trace) = Attrib.config_bool "smt_trace" false fun trace_msg ctxt f x = - if Config.get ctxt trace then Output.tracing (f x) else () + if Config.get ctxt trace then tracing (f x) else () (* interface to external solvers *)